Although Alan is round, he is intimidating because he is rough, red, cold, and very big. Charlie is young and green, so although he is rough and blue with sadness, he'll grow out of it. Gary is very nice to people, but he's also rather big. They always call him rough Harry. A cold person with a round figure who is kind to others is nice as well. People who are nice but a rough around the edges and turn red in the fun feel sad and blue. A person who is described as round and rough is usually kind. People who are cold even when they're nice and round, they are young. People who are rough and nice and blue can be round. Red and round people will be cold even in the summer.
If someone is kind and cold and round then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and nice and red then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and rough then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and round and cold then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and nice and blue then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is red and round then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Alan is red.
True
1
proof
[(triple3)]
("Alan" "is" "red" "+")
triple3
Charlie is not rough.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "rough" "-")
triple7
Alan is kind.
True
3
proof
[(((triple1 triple2) -> rule3))]
("Alan" "is" "kind" "+")
((triple1 triple2) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is not kind.
False
3
inv-proof
[(((triple1 triple2) -> rule3))]
("Alan" "is" "kind" "-")
((triple1 triple2) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is nice.
True
6
proof
[(((((triple1 triple2) -> rule3) triple4 triple1) -> rule1) OR ((((triple1 triple2) -> rule3) ((triple3 triple1) -> rule6) triple1) -> rule1))]
("Alan" "is" "nice" "+")
((((triple1 triple2) -> (rule3 % int2)) triple4 triple1) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
((((triple1 triple2) -> (rule3 % int3)) ((triple3 triple1) -> (rule6 % int2)) triple1) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is not nice.
False
6
inv-proof
[(((((triple1 triple2) -> rule3) triple4 triple1) -> rule1) OR ((((triple1 triple2) -> rule3) ((triple3 triple1) -> rule6) triple1) -> rule1))]
("Alan" "is" "nice" "-")
((((triple1 triple2) -> (rule3 % int2)) triple4 triple1) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
((((triple1 triple2) -> (rule3 % int3)) ((triple3 triple1) -> (rule6 % int2)) triple1) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is blue.
True
9
proof
[(((triple2 ((((triple1 triple2) -> rule3) triple4 triple1) -> rule1) triple3) -> rule2) OR ((triple2 ((((triple1 triple2) -> rule3) ((triple3 triple1) -> rule6) triple1) -> rule1) triple3) -> rule2))]
("Alan" "is" "blue" "+")
((triple2 ((((triple1 triple2) -> (rule3 % int3)) triple4 triple1) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
((triple2 ((((triple1 triple2) -> (rule3 % int4)) ((triple3 triple1) -> (rule6 % int3)) triple1) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is not blue.
False
9
inv-proof
[(((triple2 ((((triple1 triple2) -> rule3) triple4 triple1) -> rule1) triple3) -> rule2) OR ((triple2 ((((triple1 triple2) -> rule3) ((triple3 triple1) -> rule6) triple1) -> rule1) triple3) -> rule2))]
("Alan" "is" "blue" "-")
((triple2 ((((triple1 triple2) -> (rule3 % int3)) triple4 triple1) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
((triple2 ((((triple1 triple2) -> (rule3 % int4)) ((triple3 triple1) -> (rule6 % int3)) triple1) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Harry is not round.
Unknown
inv-rconc
[@2: Harry is round.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Harry" "is" "round" "-")
Charlie is kind.
Unknown
rconc
[@3: Charlie is kind.[CWA. Example of deepest failure = (rule3 <- rule5 <- rule1 <- FAIL)]]
("Charlie" "is" "kind" "+")
Harry is not nice.
Unknown
inv-rconc
[@2: Harry is nice.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Harry" "is" "nice" "-")
Charlie is nice.
Unknown
rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Charlie" "is" "nice" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
@0: Alan is big.[(triple5)] Alan is cold.[(triple4 OR ((triple3 triple1) -> rule6))] Alan is red.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Charlie is blue.[(triple9)] Charlie is green.[(triple8)] Charlie is rough.[(triple7)] Charlie is young.[(triple6)] Gary is big.[(triple11)] Gary is nice.[(triple10)] Harry is rough.[(triple12)] @1: Alan is kind.[(((triple1 triple2) -> rule3))] @2: Alan is nice.[(((((triple1 triple2) -> rule3) triple4 triple1) -> rule1) OR ((((triple1 triple2) -> rule3) ((triple3 triple1) -> rule6) triple1) -> rule1))] @3: Alan is blue.[(((triple2 ((((triple1 triple2) -> rule3) triple4 triple1) -> rule1) triple3) -> rule2) OR ((triple2 ((((triple1 triple2) -> rule3) ((triple3 triple1) -> rule6) triple1) -> rule1) triple3) -> rule2))] Alan is young.[(((((((triple1 triple2) -> rule3) triple4 triple1) -> rule1) triple1 triple4) -> rule4) OR ((((((triple1 triple2) -> rule3) triple4 triple1) -> rule1) triple1 ((triple3 triple1) -> rule6)) -> rule4) OR ((((((triple1 triple2) -> rule3) ((triple3 triple1) -> rule6) triple1) -> rule1) triple1 triple4) -> rule4) OR ((((((triple1 triple2) -> rule3) ((triple3 triple1) -> rule6) triple1) -> rule1) triple1 ((triple3 triple1) -> rule6)) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple5
Alan is cold.
("Alan" "is" "cold" "+")
triple4
((triple3 triple1) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple9
Charlie is green.
("Charlie" "is" "green" "+")
triple8
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
Charlie is young.
("Charlie" "is" "young" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple12
Alan is kind.
("Alan" "is" "kind" "+")
((triple1 triple2) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((((triple1 triple2) -> (rule3 % int2)) triple4 triple1) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
((((triple1 triple2) -> (rule3 % int3)) ((triple3 triple1) -> (rule6 % int2)) triple1) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
((triple2 ((((triple1 triple2) -> (rule3 % int3)) triple4 triple1) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
((triple2 ((((triple1 triple2) -> (rule3 % int4)) ((triple3 triple1) -> (rule6 % int3)) triple1) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is young.
("Alan" "is" "young" "+")
((((((triple1 triple2) -> (rule3 % int3)) triple4 triple1) -> (rule1 % int2)) triple1 triple4) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
((((((triple1 triple2) -> (rule3 % int4)) triple4 triple1) -> (rule1 % int3)) triple1 ((triple3 triple1) -> (rule6 % int2))) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
((((((triple1 triple2) -> (rule3 % int4)) ((triple3 triple1) -> (rule6 % int3)) triple1) -> (rule1 % int2)) triple1 triple4) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
((((((triple1 triple2) -> (rule3 % int4)) ((triple3 triple1) -> (rule6 % int3)) triple1) -> (rule1 % int2)) triple1 ((triple3 triple1) -> (rule6 % int3))) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Although Alan is round, he is intimidating because he is rough, red, cold, and very big.
Charlie is young and green, so although he is rough and blue with sadness, he'll grow out of it.
Gary is very nice to people, but he's also rather big.
They always call him rough Harry.
A cold person with a round figure who is kind to others is nice as well.
People who are nice but a rough around the edges and turn red in the fun feel sad and blue.
A person who is described as round and rough is usually kind.
People who are cold even when they're nice and round, they are young.
People who are rough and nice and blue can be round.
Red and round people will be cold even in the summer.