Charlie is round shaped and green colored. Dave is very cold but acts in a kind way to everyone despite being totally green here when he wears his red jacket. When you meet Gary you'll the two characteristics that will standout is that he's red but also rough. Harry is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. Any green person is a round person. Cold people who are young and green are actually nice. Could you imagine how weird it would be if someone was nice, blue, and kind, but not green also. Someone who is round like a dumpling and cold like an icicle are very young in age.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is green then they are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and green and young then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and blue and kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is round and cold then they are young.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Gary is rough.
True
1
proof
[(triple7)]
("Gary" "is" "rough" "+")
triple7
Charlie is not green.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "green" "-")
triple2
Dave is round.
True
2
proof
[(((triple5) -> rule1))]
("Dave" "is" "round" "+")
((triple5) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not round.
False
2
inv-proof
[(((triple5) -> rule1))]
("Dave" "is" "round" "-")
((triple5) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
True
4
proof
[(((((triple5) -> rule1) triple6) -> rule4))]
("Dave" "is" "young" "+")
((((triple5) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not young.
False
4
inv-proof
[(((((triple5) -> rule1) triple6) -> rule4))]
("Dave" "is" "young" "-")
((((triple5) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
True
7
proof
[(((triple6 triple5 ((((triple5) -> rule1) triple6) -> rule4)) -> rule2))]
("Dave" "is" "nice" "+")
((triple6 triple5 ((((triple5) -> (rule1 % int3)) triple6) -> (rule4 % int2))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is not nice.
False
7
inv-proof
[(((triple6 triple5 ((((triple5) -> rule1) triple6) -> rule4)) -> rule2))]
("Dave" "is" "nice" "-")
((triple6 triple5 ((((triple5) -> (rule1 % int3)) triple6) -> (rule4 % int2))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "young" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "nice" "+")
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "young" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "green" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Charlie is green.[(triple2)] Charlie is round.[(triple1 OR ((triple2) -> rule1))] Dave is cold.[(triple6)] Dave is green.[(triple5)] Dave is kind.[(triple4)] Dave is red.[(triple3)] Gary is red.[(triple8)] Gary is rough.[(triple7)] Harry is blue.[(triple11)] Harry is nice.[(triple10)] Harry is round.[(triple9)] @1: Dave is round.[(((triple5) -> rule1))] @2: Dave is young.[(((((triple5) -> rule1) triple6) -> rule4))] @3: Dave is nice.[(((triple6 triple5 ((((triple5) -> rule1) triple6) -> rule4)) -> rule2))]
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
((triple2) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple3
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Dave is round.
("Dave" "is" "round" "+")
((triple5) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((((triple5) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((triple6 triple5 ((((triple5) -> (rule1 % int3)) triple6) -> (rule4 % int2))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Charlie is round shaped and green colored.
Dave is very cold but acts in a kind way to everyone despite being totally green here when he wears his red jacket.
When you meet Gary you'll the two characteristics that will standout is that he's red but also rough.
Harry is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well.
Any green person is a round person.
Cold people who are young and green are actually nice.
Could you imagine how weird it would be if someone was nice, blue, and kind, but not green also.
Someone who is round like a dumpling and cold like an icicle are very young in age.