Charlie is a young guy who is also round, red, kind, cold and blue. Dave ate some rotten meat and now feels green. Fred is young but big for his age. Fred wasn't feeling well so he is a little green. Harry is big and dresses in blue. When young, round people are cold it their skin gets a blue tinge to it. Big, young people feel cold all the time. A round shaped and young aged person will be very cold. Big and cold people are likely to be round, too. A person described as cold and kind can also be described as nice. A young person who is red a kind is also usually big.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is young and round and cold then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and big then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and young then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and cold then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and young and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Harry is blue.
True
1
proof
[(triple11)]
("Harry" "is" "blue" "+")
triple11
Charlie is not cold.
False
1
inv-proof
[(triple5 OR ((triple2 triple1) -> rule3) OR ((triple1 ((triple3 triple1 triple4) -> rule6)) -> rule2))]
("Charlie" "is" "cold" "-")
triple5
((triple2 triple1) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple1 ((triple3 triple1 triple4) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is nice.
True
3
proof
[(((triple5 triple4) -> rule5) OR ((((triple2 triple1) -> rule3) triple4) -> rule5) OR ((((triple1 ((triple3 triple1 triple4) -> rule6)) -> rule2) triple4) -> rule5))]
("Charlie" "is" "nice" "+")
((triple5 triple4) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((((triple2 triple1) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((triple1 ((triple3 triple1 triple4) -> (rule6 % int3))) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is not big.
False
4
inv-proof
[(((triple3 triple1 triple4) -> rule6))]
("Charlie" "is" "big" "-")
((triple3 triple1 triple4) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Fred is round.
True
5
proof
[(((triple10 ((triple8 triple10) -> rule2)) -> rule4))]
("Fred" "is" "round" "+")
((triple10 ((triple8 triple10) -> (rule2 % int2))) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is not round.
False
5
inv-proof
[(((triple10 ((triple8 triple10) -> rule2)) -> rule4))]
("Fred" "is" "round" "-")
((triple10 ((triple8 triple10) -> (rule2 % int2))) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is blue.
True
10
proof
[(((triple8 ((triple10 ((triple8 triple10) -> rule2)) -> rule4) ((triple8 triple10) -> rule2)) -> rule1))]
("Fred" "is" "blue" "+")
((triple8 ((triple10 ((triple8 triple10) -> (rule2 % int3))) -> (rule4 % int2)) ((triple8 triple10) -> (rule2 % int3))) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is not blue.
False
10
inv-proof
[(((triple8 ((triple10 ((triple8 triple10) -> rule2)) -> rule4) ((triple8 triple10) -> rule2)) -> rule1))]
("Fred" "is" "blue" "-")
((triple8 ((triple10 ((triple8 triple10) -> (rule2 % int3))) -> (rule4 % int2)) ((triple8 triple10) -> (rule2 % int3))) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "big" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "nice" "+")
Dave is not round.
Unknown
inv-rconc
[@2: Dave is round.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Dave" "is" "round" "-")
Dave is blue.
Unknown
rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "blue" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Charlie is blue.[(triple6 OR ((triple1 triple2 triple5) -> rule1) OR ((triple1 triple2 ((triple2 triple1) -> rule3)) -> rule1) OR ((triple1 triple2 ((triple1 ((triple3 triple1 triple4) -> rule6)) -> rule2)) -> rule1) OR ((triple1 ((((triple3 triple1 triple4) -> rule6) triple5) -> rule4) triple5) -> rule1) OR ((triple1 ((((triple3 triple1 triple4) -> rule6) triple5) -> rule4) ((triple2 triple1) -> rule3)) -> rule1) OR ((triple1 ((((triple3 triple1 triple4) -> rule6) triple5) -> rule4) ((triple1 ((triple3 triple1 triple4) -> rule6)) -> rule2)) -> rule1) OR ((triple1 ((((triple3 triple1 triple4) -> rule6) ((triple1 ((triple3 triple1 triple4) -> rule6)) -> rule2)) -> rule4) triple5) -> rule1) OR ((triple1 ((((triple3 triple1 triple4) -> rule6) ((triple1 ((triple3 triple1 triple4) -> rule6)) -> rule2)) -> rule4) ((triple2 triple1) -> rule3)) -> rule1) OR ((triple1 ((((triple3 triple1 triple4) -> rule6) ((triple1 ((triple3 triple1 triple4) -> rule6)) -> rule2)) -> rule4) ((triple1 ((triple3 triple1 triple4) -> rule6)) -> rule2)) -> rule1))] Charlie is cold.[(triple5 OR ((triple2 triple1) -> rule3) OR ((triple1 ((triple3 triple1 triple4) -> rule6)) -> rule2))] Charlie is kind.[(triple4)] Charlie is red.[(triple3)] Charlie is round.[(triple2 OR ((((triple3 triple1 triple4) -> rule6) triple5) -> rule4) OR ((((triple3 triple1 triple4) -> rule6) ((triple1 ((triple3 triple1 triple4) -> rule6)) -> rule2)) -> rule4))] Charlie is young.[(triple1)] Dave is green.[(triple7)] Fred is big.[(triple10)] Fred is green.[(triple9)] Fred is young.[(triple8)] Harry is big.[(triple12)] Harry is blue.[(triple11)] @1: Charlie is big.[(((triple3 triple1 triple4) -> rule6))] Charlie is nice.[(((triple5 triple4) -> rule5) OR ((((triple2 triple1) -> rule3) triple4) -> rule5) OR ((((triple1 ((triple3 triple1 triple4) -> rule6)) -> rule2) triple4) -> rule5))] Fred is cold.[(((triple8 triple10) -> rule2))] @2: Fred is round.[(((triple10 ((triple8 triple10) -> rule2)) -> rule4))] @3: Fred is blue.[(((triple8 ((triple10 ((triple8 triple10) -> rule2)) -> rule4) ((triple8 triple10) -> rule2)) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
((triple1 triple2 triple5) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((triple1 triple2 ((triple2 triple1) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((triple1 triple2 ((triple1 ((triple3 triple1 triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((triple1 ((((triple3 triple1 triple4) -> (rule6 % int3)) triple5) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((triple1 ((((triple3 triple1 triple4) -> (rule6 % int4)) triple5) -> (rule4 % int3)) ((triple2 triple1) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((triple1 ((((triple3 triple1 triple4) -> (rule6 % int4)) triple5) -> (rule4 % int3)) ((triple1 ((triple3 triple1 triple4) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((triple1 ((((triple3 triple1 triple4) -> (rule6 % int4)) ((triple1 ((triple3 triple1 triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((triple1 ((((triple3 triple1 triple4) -> (rule6 % int4)) ((triple1 ((triple3 triple1 triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple2 triple1) -> (rule3 % int3))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((triple1 ((((triple3 triple1 triple4) -> (rule6 % int4)) ((triple1 ((triple3 triple1 triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1 ((triple3 triple1 triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
((triple2 triple1) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple1 ((triple3 triple1 triple4) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
((((triple3 triple1 triple4) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple3 triple1 triple4) -> (rule6 % int3)) ((triple1 ((triple3 triple1 triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple7
Fred is big.
("Fred" "is" "big" "+")
triple10
Fred is green.
("Fred" "is" "green" "+")
triple9
Fred is young.
("Fred" "is" "young" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Charlie is big.
("Charlie" "is" "big" "+")
((triple3 triple1 triple4) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple5 triple4) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((((triple2 triple1) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((triple1 ((triple3 triple1 triple4) -> (rule6 % int3))) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Fred is cold.
("Fred" "is" "cold" "+")
((triple8 triple10) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
((triple10 ((triple8 triple10) -> (rule2 % int2))) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
((triple8 ((triple10 ((triple8 triple10) -> (rule2 % int3))) -> (rule4 % int2)) ((triple8 triple10) -> (rule2 % int3))) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Charlie is a young guy who is also round, red, kind, cold and blue.
Dave ate some rotten meat and now feels green.
Fred is young but big for his age; Fred wasn't feeling well so he is a little green.
Harry is big and dresses in blue.
When young, round people are cold it their skin gets a blue tinge to it.
Big, young people feel cold all the time.
A round shaped and young aged person will be very cold.
Big and cold people are likely to be round, too.
A person described as cold and kind can also be described as nice.
A young person who is red a kind is also usually big.