That man standing next to you with a big round body goes by the name of Alan. Bob is red but has turned blue as he is cold but now he is green.  Bob is young and rough. Dave has a round face and is very nice. To the touch Harry has rough, cold skin. Nice blue people are often rough. A red colored and round person who is also young will be rather kind. It's inevitable that young, green people are big. If a person that is blue and green is also cold, that means that they are young. A big, green person who is cold is assumed to be red also. Someone who happens to be cold and green and big all at once must also be round in shape.
Alan is round.
("Alan" "is" "round" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is nice and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and round and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and green then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and blue and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is green and big and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and green and big then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Bob is blue.
True
1
proof
[(triple8)]
("Bob" "is" "blue" "+")
triple8
Harry is not cold.
False
1
inv-proof
[(triple12)]
("Harry" "is" "cold" "-")
triple12
Bob is big.
True
3
proof
[(((triple3 triple6) -> rule3) OR ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3))]
("Bob" "is" "big" "+")
((triple3 triple6) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((triple7 triple8 triple6) -> (rule4 % int2)) triple6) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is not big.
False
3
inv-proof
[(((triple3 triple6) -> rule3) OR ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3))]
("Bob" "is" "big" "-")
((triple3 triple6) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((triple7 triple8 triple6) -> (rule4 % int2)) triple6) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
True
6
proof
[(((triple7 triple6 ((triple3 triple6) -> rule3)) -> rule6) OR ((triple7 triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3)) -> rule6))]
("Bob" "is" "round" "+")
((triple7 triple6 ((triple3 triple6) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((triple7 triple6 ((((triple7 triple8 triple6) -> (rule4 % int3)) triple6) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is not round.
False
6
inv-proof
[(((triple7 triple6 ((triple3 triple6) -> rule3)) -> rule6) OR ((triple7 triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3)) -> rule6))]
("Bob" "is" "round" "-")
((triple7 triple6 ((triple3 triple6) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((triple7 triple6 ((((triple7 triple8 triple6) -> (rule4 % int3)) triple6) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
True
9
proof
[(((triple5 ((triple7 triple6 ((triple3 triple6) -> rule3)) -> rule6) triple3) -> rule2) OR ((triple5 ((triple7 triple6 ((triple3 triple6) -> rule3)) -> rule6) ((triple7 triple8 triple6) -> rule4)) -> rule2) OR ((((triple6 ((triple3 triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((triple3 triple6) -> rule3)) -> rule6) triple3) -> rule2) OR ((((triple6 ((triple3 triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((triple3 triple6) -> rule3)) -> rule6) ((triple7 triple8 triple6) -> rule4)) -> rule2) OR ((triple5 ((triple7 triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3)) -> rule6) triple3) -> rule2) OR ((triple5 ((triple7 triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3)) -> rule6) ((triple7 triple8 triple6) -> rule4)) -> rule2) OR ((((triple6 ((triple3 triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3)) -> rule6) triple3) -> rule2) OR ((((triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((triple3 triple6) -> rule3)) -> rule6) triple3) -> rule2) OR ((((triple6 ((triple3 triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3)) -> rule6) ((triple7 triple8 triple6) -> rule4)) -> rule2) OR ((((triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((triple3 triple6) -> rule3)) -> rule6) ((triple7 triple8 triple6) -> rule4)) -> rule2) OR ((((triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3)) -> rule6) triple3) -> rule2) OR ((((triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3)) -> rule6) ((triple7 triple8 triple6) -> rule4)) -> rule2))]
("Bob" "is" "kind" "+")
((triple5 ((triple7 triple6 ((triple3 triple6) -> (rule3 % int3))) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((triple5 ((triple7 triple6 ((triple3 triple6) -> (rule3 % int4))) -> (rule6 % int3)) ((triple7 triple8 triple6) -> (rule4 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((triple6 ((triple3 triple6) -> (rule3 % int4)) triple7) -> (rule5 % int3)) ((triple7 triple6 ((triple3 triple6) -> (rule3 % int4))) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((triple6 ((triple3 triple6) -> (rule3 % int5)) triple7) -> (rule5 % int4)) ((triple7 triple6 ((triple3 triple6) -> (rule3 % int5))) -> (rule6 % int3)) ((triple7 triple8 triple6) -> (rule4 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((triple5 ((triple7 triple6 ((((triple7 triple8 triple6) -> (rule4 % int4)) triple6) -> (rule3 % int3))) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((triple5 ((triple7 triple6 ((((triple7 triple8 triple6) -> (rule4 % int4)) triple6) -> (rule3 % int3))) -> (rule6 % int2)) ((triple7 triple8 triple6) -> (rule4 % int4))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple6 ((triple3 triple6) -> (rule3 % int5)) triple7) -> (rule5 % int4)) ((triple7 triple6 ((((triple7 triple8 triple6) -> (rule4 % int3)) triple6) -> (rule3 % int5))) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((triple6 ((((triple7 triple8 triple6) -> (rule4 % int5)) triple6) -> (rule3 % int4)) triple7) -> (rule5 % int3)) ((triple7 triple6 ((triple3 triple6) -> (rule3 % int4))) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple6 ((triple3 triple6) -> (rule3 % int5)) triple7) -> (rule5 % int4)) ((triple7 triple6 ((((triple7 triple8 triple6) -> (rule4 % int3)) triple6) -> (rule3 % int5))) -> (rule6 % int2)) ((triple7 triple8 triple6) -> (rule4 % int3))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((triple6 ((((triple7 triple8 triple6) -> (rule4 % int5)) triple6) -> (rule3 % int4)) triple7) -> (rule5 % int3)) ((triple7 triple6 ((triple3 triple6) -> (rule3 % int4))) -> (rule6 % int2)) ((triple7 triple8 triple6) -> (rule4 % int5))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple6 ((((triple7 triple8 triple6) -> (rule4 % int5)) triple6) -> (rule3 % int4)) triple7) -> (rule5 % int3)) ((triple7 triple6 ((((triple7 triple8 triple6) -> (rule4 % int5)) triple6) -> (rule3 % int4))) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple6 ((((triple7 triple8 triple6) -> (rule4 % int5)) triple6) -> (rule3 % int4)) triple7) -> (rule5 % int3)) ((triple7 triple6 ((((triple7 triple8 triple6) -> (rule4 % int5)) triple6) -> (rule3 % int4))) -> (rule6 % int2)) ((triple7 triple8 triple6) -> (rule4 % int5))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is not kind.
False
9
inv-proof
[(((triple5 ((triple7 triple6 ((triple3 triple6) -> rule3)) -> rule6) triple3) -> rule2) OR ((triple5 ((triple7 triple6 ((triple3 triple6) -> rule3)) -> rule6) ((triple7 triple8 triple6) -> rule4)) -> rule2) OR ((((triple6 ((triple3 triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((triple3 triple6) -> rule3)) -> rule6) triple3) -> rule2) OR ((((triple6 ((triple3 triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((triple3 triple6) -> rule3)) -> rule6) ((triple7 triple8 triple6) -> rule4)) -> rule2) OR ((triple5 ((triple7 triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3)) -> rule6) triple3) -> rule2) OR ((triple5 ((triple7 triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3)) -> rule6) ((triple7 triple8 triple6) -> rule4)) -> rule2) OR ((((triple6 ((triple3 triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3)) -> rule6) triple3) -> rule2) OR ((((triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((triple3 triple6) -> rule3)) -> rule6) triple3) -> rule2) OR ((((triple6 ((triple3 triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3)) -> rule6) ((triple7 triple8 triple6) -> rule4)) -> rule2) OR ((((triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((triple3 triple6) -> rule3)) -> rule6) ((triple7 triple8 triple6) -> rule4)) -> rule2) OR ((((triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3)) -> rule6) triple3) -> rule2) OR ((((triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3)) -> rule6) ((triple7 triple8 triple6) -> rule4)) -> rule2))]
("Bob" "is" "kind" "-")
((triple5 ((triple7 triple6 ((triple3 triple6) -> (rule3 % int3))) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((triple5 ((triple7 triple6 ((triple3 triple6) -> (rule3 % int4))) -> (rule6 % int3)) ((triple7 triple8 triple6) -> (rule4 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((triple6 ((triple3 triple6) -> (rule3 % int4)) triple7) -> (rule5 % int3)) ((triple7 triple6 ((triple3 triple6) -> (rule3 % int4))) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((triple6 ((triple3 triple6) -> (rule3 % int5)) triple7) -> (rule5 % int4)) ((triple7 triple6 ((triple3 triple6) -> (rule3 % int5))) -> (rule6 % int3)) ((triple7 triple8 triple6) -> (rule4 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((triple5 ((triple7 triple6 ((((triple7 triple8 triple6) -> (rule4 % int4)) triple6) -> (rule3 % int3))) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((triple5 ((triple7 triple6 ((((triple7 triple8 triple6) -> (rule4 % int4)) triple6) -> (rule3 % int3))) -> (rule6 % int2)) ((triple7 triple8 triple6) -> (rule4 % int4))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple6 ((triple3 triple6) -> (rule3 % int5)) triple7) -> (rule5 % int4)) ((triple7 triple6 ((((triple7 triple8 triple6) -> (rule4 % int3)) triple6) -> (rule3 % int5))) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((triple6 ((((triple7 triple8 triple6) -> (rule4 % int5)) triple6) -> (rule3 % int4)) triple7) -> (rule5 % int3)) ((triple7 triple6 ((triple3 triple6) -> (rule3 % int4))) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple6 ((triple3 triple6) -> (rule3 % int5)) triple7) -> (rule5 % int4)) ((triple7 triple6 ((((triple7 triple8 triple6) -> (rule4 % int3)) triple6) -> (rule3 % int5))) -> (rule6 % int2)) ((triple7 triple8 triple6) -> (rule4 % int3))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((triple6 ((((triple7 triple8 triple6) -> (rule4 % int5)) triple6) -> (rule3 % int4)) triple7) -> (rule5 % int3)) ((triple7 triple6 ((triple3 triple6) -> (rule3 % int4))) -> (rule6 % int2)) ((triple7 triple8 triple6) -> (rule4 % int5))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple6 ((((triple7 triple8 triple6) -> (rule4 % int5)) triple6) -> (rule3 % int4)) triple7) -> (rule5 % int3)) ((triple7 triple6 ((((triple7 triple8 triple6) -> (rule4 % int5)) triple6) -> (rule3 % int4))) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple6 ((((triple7 triple8 triple6) -> (rule4 % int5)) triple6) -> (rule3 % int4)) triple7) -> (rule5 % int3)) ((triple7 triple6 ((((triple7 triple8 triple6) -> (rule4 % int5)) triple6) -> (rule3 % int4))) -> (rule6 % int2)) ((triple7 triple8 triple6) -> (rule4 % int5))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "red" "-")
Dave is kind.
Unknown
rconc
[@2: Dave is kind.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Dave" "is" "kind" "+")
Alan is not kind.
Unknown
inv-rconc
[@2: Alan is kind.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Alan" "is" "kind" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "rough" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Alan is big.[(triple2)] Alan is round.[(triple1)] Bob is blue.[(triple8)] Bob is cold.[(triple7)] Bob is green.[(triple6)] Bob is red.[(triple5 OR ((triple6 ((triple3 triple6) -> rule3) triple7) -> rule5) OR ((triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3) triple7) -> rule5))] Bob is rough.[(triple4)] Bob is young.[(triple3 OR ((triple7 triple8 triple6) -> rule4))] Dave is nice.[(triple10)] Dave is round.[(triple9)] Harry is cold.[(triple12)] Harry is rough.[(triple11)] @1: Bob is big.[(((triple3 triple6) -> rule3) OR ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3))] @2: Bob is round.[(((triple7 triple6 ((triple3 triple6) -> rule3)) -> rule6) OR ((triple7 triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3)) -> rule6))] @3: Bob is kind.[(((triple5 ((triple7 triple6 ((triple3 triple6) -> rule3)) -> rule6) triple3) -> rule2) OR ((triple5 ((triple7 triple6 ((triple3 triple6) -> rule3)) -> rule6) ((triple7 triple8 triple6) -> rule4)) -> rule2) OR ((((triple6 ((triple3 triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((triple3 triple6) -> rule3)) -> rule6) triple3) -> rule2) OR ((((triple6 ((triple3 triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((triple3 triple6) -> rule3)) -> rule6) ((triple7 triple8 triple6) -> rule4)) -> rule2) OR ((triple5 ((triple7 triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3)) -> rule6) triple3) -> rule2) OR ((triple5 ((triple7 triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3)) -> rule6) ((triple7 triple8 triple6) -> rule4)) -> rule2) OR ((((triple6 ((triple3 triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3)) -> rule6) triple3) -> rule2) OR ((((triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((triple3 triple6) -> rule3)) -> rule6) triple3) -> rule2) OR ((((triple6 ((triple3 triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3)) -> rule6) ((triple7 triple8 triple6) -> rule4)) -> rule2) OR ((((triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((triple3 triple6) -> rule3)) -> rule6) ((triple7 triple8 triple6) -> rule4)) -> rule2) OR ((((triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3)) -> rule6) triple3) -> rule2) OR ((((triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3)) -> rule6) ((triple7 triple8 triple6) -> rule4)) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple8
Bob is cold.
("Bob" "is" "cold" "+")
triple7
Bob is green.
("Bob" "is" "green" "+")
triple6
Bob is red.
("Bob" "is" "red" "+")
triple5
((triple6 ((triple3 triple6) -> (rule3 % int2)) triple7) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((triple6 ((((triple7 triple8 triple6) -> (rule4 % int3)) triple6) -> (rule3 % int2)) triple7) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple3
((triple7 triple8 triple6) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
triple10
Dave is round.
("Dave" "is" "round" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Bob is big.
("Bob" "is" "big" "+")
((triple3 triple6) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((triple7 triple8 triple6) -> (rule4 % int2)) triple6) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((triple7 triple6 ((triple3 triple6) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((triple7 triple6 ((((triple7 triple8 triple6) -> (rule4 % int3)) triple6) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
((triple5 ((triple7 triple6 ((triple3 triple6) -> (rule3 % int3))) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((triple5 ((triple7 triple6 ((triple3 triple6) -> (rule3 % int4))) -> (rule6 % int3)) ((triple7 triple8 triple6) -> (rule4 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((triple6 ((triple3 triple6) -> (rule3 % int4)) triple7) -> (rule5 % int3)) ((triple7 triple6 ((triple3 triple6) -> (rule3 % int4))) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((triple6 ((triple3 triple6) -> (rule3 % int5)) triple7) -> (rule5 % int4)) ((triple7 triple6 ((triple3 triple6) -> (rule3 % int5))) -> (rule6 % int3)) ((triple7 triple8 triple6) -> (rule4 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((triple5 ((triple7 triple6 ((((triple7 triple8 triple6) -> (rule4 % int4)) triple6) -> (rule3 % int3))) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((triple5 ((triple7 triple6 ((((triple7 triple8 triple6) -> (rule4 % int4)) triple6) -> (rule3 % int3))) -> (rule6 % int2)) ((triple7 triple8 triple6) -> (rule4 % int4))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple6 ((triple3 triple6) -> (rule3 % int5)) triple7) -> (rule5 % int4)) ((triple7 triple6 ((((triple7 triple8 triple6) -> (rule4 % int3)) triple6) -> (rule3 % int5))) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((triple6 ((((triple7 triple8 triple6) -> (rule4 % int5)) triple6) -> (rule3 % int4)) triple7) -> (rule5 % int3)) ((triple7 triple6 ((triple3 triple6) -> (rule3 % int4))) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple6 ((triple3 triple6) -> (rule3 % int5)) triple7) -> (rule5 % int4)) ((triple7 triple6 ((((triple7 triple8 triple6) -> (rule4 % int3)) triple6) -> (rule3 % int5))) -> (rule6 % int2)) ((triple7 triple8 triple6) -> (rule4 % int3))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((triple6 ((((triple7 triple8 triple6) -> (rule4 % int5)) triple6) -> (rule3 % int4)) triple7) -> (rule5 % int3)) ((triple7 triple6 ((triple3 triple6) -> (rule3 % int4))) -> (rule6 % int2)) ((triple7 triple8 triple6) -> (rule4 % int5))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple6 ((((triple7 triple8 triple6) -> (rule4 % int5)) triple6) -> (rule3 % int4)) triple7) -> (rule5 % int3)) ((triple7 triple6 ((((triple7 triple8 triple6) -> (rule4 % int5)) triple6) -> (rule3 % int4))) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple6 ((((triple7 triple8 triple6) -> (rule4 % int5)) triple6) -> (rule3 % int4)) triple7) -> (rule5 % int3)) ((triple7 triple6 ((((triple7 triple8 triple6) -> (rule4 % int5)) triple6) -> (rule3 % int4))) -> (rule6 % int2)) ((triple7 triple8 triple6) -> (rule4 % int5))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
That man standing next to you with a big round body goes by the name of Alan.
Bob is red but has turned blue as he is cold but now he is green; Bob is young and rough.
Dave has a round face and is very nice.
To the touch Harry has rough, cold skin.
Nice blue people are often rough.
A red colored and round person who is also young will be rather kind.
It's inevitable that young, green people are big.
If a person that is blue and green is also cold, that means that they are young.
A big, green person who is cold is assumed to be red also.
Someone who happens to be cold and green and big all at once must also be round in shape.