Bob is a man who is both round and rough. Young Fred woke feeling as round and nice as a kind, green man in the cold. Harry is very nice to people, but he's also rather big. Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others. His cheeks were red from the cold, and his big blue eye were watering. Young, green round people are big. A kind, young person will be rough textured. Rough and green people are also nice. Young people tend to rough and nice, but they are also red. A person who is round and nice is cold.
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is rough and big and nice then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and big and cold then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and young and round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is young and kind then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and green then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and rough and nice then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and round then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Harry is big.
True
1
proof
[(triple10)]
("Harry" "is" "big" "+")
triple10
Bob is not round.
False
1
inv-proof
[(triple1)]
("Bob" "is" "round" "-")
triple1
Fred is rough.
True
3
proof
[(((triple3 triple6) -> rule4))]
("Fred" "is" "rough" "+")
((triple3 triple6) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is not big.
False
4
inv-proof
[(((triple7 triple3 triple4) -> rule3))]
("Fred" "is" "big" "-")
((triple7 triple3 triple4) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is red.
True
6
proof
[(((triple3 ((triple3 triple6) -> rule4) triple5) -> rule6) OR ((triple3 ((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule6))]
("Fred" "is" "red" "+")
((triple3 ((triple3 triple6) -> (rule4 % int2)) triple5) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
((triple3 ((triple3 triple6) -> (rule4 % int3)) ((((triple3 triple6) -> (rule4 % int3)) triple7) -> (rule5 % int2))) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is not red.
False
6
inv-proof
[(((triple3 ((triple3 triple6) -> rule4) triple5) -> rule6) OR ((triple3 ((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule6))]
("Fred" "is" "red" "-")
((triple3 ((triple3 triple6) -> (rule4 % int2)) triple5) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
((triple3 ((triple3 triple6) -> (rule4 % int3)) ((((triple3 triple6) -> (rule4 % int3)) triple7) -> (rule5 % int2))) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is blue.
True
12
proof
[(((((triple3 ((triple3 triple6) -> rule4) triple5) -> rule6) ((triple7 triple3 triple4) -> rule3) triple8) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) triple5) -> rule6) ((triple7 triple3 triple4) -> rule3) ((triple5 triple4) -> rule7)) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) triple5) -> rule6) ((triple7 triple3 triple4) -> rule3) ((((triple3 triple6) -> rule4) ((triple7 triple3 triple4) -> rule3) triple5) -> rule1)) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule6) ((triple7 triple3 triple4) -> rule3) triple8) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) triple5) -> rule6) ((triple7 triple3 triple4) -> rule3) ((((((triple3 triple6) -> rule4) triple7) -> rule5) triple4) -> rule7)) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule6) ((triple7 triple3 triple4) -> rule3) ((triple5 triple4) -> rule7)) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) triple5) -> rule6) ((triple7 triple3 triple4) -> rule3) ((((triple3 triple6) -> rule4) ((triple7 triple3 triple4) -> rule3) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule1)) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule6) ((triple7 triple3 triple4) -> rule3) ((((((triple3 triple6) -> rule4) triple7) -> rule5) triple4) -> rule7)) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule6) ((triple7 triple3 triple4) -> rule3) ((((triple3 triple6) -> rule4) ((triple7 triple3 triple4) -> rule3) triple5) -> rule1)) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule6) ((triple7 triple3 triple4) -> rule3) ((((triple3 triple6) -> rule4) ((triple7 triple3 triple4) -> rule3) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule1)) -> rule2))]
("Fred" "is" "blue" "+")
((((triple3 ((triple3 triple6) -> (rule4 % int4)) triple5) -> (rule6 % int3)) ((triple7 triple3 triple4) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
((((triple3 ((triple3 triple6) -> (rule4 % int5)) triple5) -> (rule6 % int4)) ((triple7 triple3 triple4) -> (rule3 % int3)) ((triple5 triple4) -> (rule7 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is rough.
("Fred" "is" "rough" "+")
int5
((((triple3 ((triple3 triple6) -> (rule4 % int5)) triple5) -> (rule6 % int4)) ((triple7 triple3 triple4) -> (rule3 % int3)) ((((triple3 triple6) -> (rule4 % int5)) ((triple7 triple3 triple4) -> (rule3 % int3)) triple5) -> (rule1 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is rough.
("Fred" "is" "rough" "+")
int5
((((triple3 ((triple3 triple6) -> (rule4 % int5)) ((((triple3 triple6) -> (rule4 % int5)) triple7) -> (rule5 % int4))) -> (rule6 % int3)) ((triple7 triple3 triple4) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Fred is rough.
("Fred" "is" "rough" "+")
int5
((((triple3 ((triple3 triple6) -> (rule4 % int6)) triple5) -> (rule6 % int5)) ((triple7 triple3 triple4) -> (rule3 % int4)) ((((((triple3 triple6) -> (rule4 % int6)) triple7) -> (rule5 % int3)) triple4) -> (rule7 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
int4
Fred is red.
("Fred" "is" "red" "+")
int5
Fred is rough.
("Fred" "is" "rough" "+")
int6
((((triple3 ((triple3 triple6) -> (rule4 % int6)) ((((triple3 triple6) -> (rule4 % int6)) triple7) -> (rule5 % int5))) -> (rule6 % int4)) ((triple7 triple3 triple4) -> (rule3 % int3)) ((triple5 triple4) -> (rule7 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is nice.
("Fred" "is" "nice" "+")
int5
Fred is rough.
("Fred" "is" "rough" "+")
int6
((((triple3 ((triple3 triple6) -> (rule4 % int6)) triple5) -> (rule6 % int5)) ((triple7 triple3 triple4) -> (rule3 % int4)) ((((triple3 triple6) -> (rule4 % int6)) ((triple7 triple3 triple4) -> (rule3 % int4)) ((((triple3 triple6) -> (rule4 % int6)) triple7) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
int4
Fred is red.
("Fred" "is" "red" "+")
int5
Fred is rough.
("Fred" "is" "rough" "+")
int6
((((triple3 ((triple3 triple6) -> (rule4 % int6)) ((((triple3 triple6) -> (rule4 % int6)) triple7) -> (rule5 % int5))) -> (rule6 % int4)) ((triple7 triple3 triple4) -> (rule3 % int3)) ((((((triple3 triple6) -> (rule4 % int6)) triple7) -> (rule5 % int5)) triple4) -> (rule7 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is nice.
("Fred" "is" "nice" "+")
int5
Fred is rough.
("Fred" "is" "rough" "+")
int6
((((triple3 ((triple3 triple6) -> (rule4 % int6)) ((((triple3 triple6) -> (rule4 % int6)) triple7) -> (rule5 % int5))) -> (rule6 % int4)) ((triple7 triple3 triple4) -> (rule3 % int3)) ((((triple3 triple6) -> (rule4 % int6)) ((triple7 triple3 triple4) -> (rule3 % int3)) triple5) -> (rule1 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is nice.
("Fred" "is" "nice" "+")
int5
Fred is rough.
("Fred" "is" "rough" "+")
int6
((((triple3 ((triple3 triple6) -> (rule4 % int6)) ((((triple3 triple6) -> (rule4 % int6)) triple7) -> (rule5 % int5))) -> (rule6 % int4)) ((triple7 triple3 triple4) -> (rule3 % int3)) ((((triple3 triple6) -> (rule4 % int6)) ((triple7 triple3 triple4) -> (rule3 % int3)) ((((triple3 triple6) -> (rule4 % int6)) triple7) -> (rule5 % int5))) -> (rule1 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is nice.
("Fred" "is" "nice" "+")
int5
Fred is rough.
("Fred" "is" "rough" "+")
int6
Fred is not blue.
False
12
inv-proof
[(((((triple3 ((triple3 triple6) -> rule4) triple5) -> rule6) ((triple7 triple3 triple4) -> rule3) triple8) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) triple5) -> rule6) ((triple7 triple3 triple4) -> rule3) ((triple5 triple4) -> rule7)) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) triple5) -> rule6) ((triple7 triple3 triple4) -> rule3) ((((triple3 triple6) -> rule4) ((triple7 triple3 triple4) -> rule3) triple5) -> rule1)) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule6) ((triple7 triple3 triple4) -> rule3) triple8) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) triple5) -> rule6) ((triple7 triple3 triple4) -> rule3) ((((((triple3 triple6) -> rule4) triple7) -> rule5) triple4) -> rule7)) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule6) ((triple7 triple3 triple4) -> rule3) ((triple5 triple4) -> rule7)) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) triple5) -> rule6) ((triple7 triple3 triple4) -> rule3) ((((triple3 triple6) -> rule4) ((triple7 triple3 triple4) -> rule3) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule1)) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule6) ((triple7 triple3 triple4) -> rule3) ((((((triple3 triple6) -> rule4) triple7) -> rule5) triple4) -> rule7)) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule6) ((triple7 triple3 triple4) -> rule3) ((((triple3 triple6) -> rule4) ((triple7 triple3 triple4) -> rule3) triple5) -> rule1)) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule6) ((triple7 triple3 triple4) -> rule3) ((((triple3 triple6) -> rule4) ((triple7 triple3 triple4) -> rule3) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule1)) -> rule2))]
("Fred" "is" "blue" "-")
((((triple3 ((triple3 triple6) -> (rule4 % int4)) triple5) -> (rule6 % int3)) ((triple7 triple3 triple4) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
((((triple3 ((triple3 triple6) -> (rule4 % int5)) triple5) -> (rule6 % int4)) ((triple7 triple3 triple4) -> (rule3 % int3)) ((triple5 triple4) -> (rule7 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is rough.
("Fred" "is" "rough" "+")
int5
((((triple3 ((triple3 triple6) -> (rule4 % int5)) triple5) -> (rule6 % int4)) ((triple7 triple3 triple4) -> (rule3 % int3)) ((((triple3 triple6) -> (rule4 % int5)) ((triple7 triple3 triple4) -> (rule3 % int3)) triple5) -> (rule1 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is rough.
("Fred" "is" "rough" "+")
int5
((((triple3 ((triple3 triple6) -> (rule4 % int5)) ((((triple3 triple6) -> (rule4 % int5)) triple7) -> (rule5 % int4))) -> (rule6 % int3)) ((triple7 triple3 triple4) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Fred is rough.
("Fred" "is" "rough" "+")
int5
((((triple3 ((triple3 triple6) -> (rule4 % int6)) triple5) -> (rule6 % int5)) ((triple7 triple3 triple4) -> (rule3 % int4)) ((((((triple3 triple6) -> (rule4 % int6)) triple7) -> (rule5 % int3)) triple4) -> (rule7 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
int4
Fred is red.
("Fred" "is" "red" "+")
int5
Fred is rough.
("Fred" "is" "rough" "+")
int6
((((triple3 ((triple3 triple6) -> (rule4 % int6)) ((((triple3 triple6) -> (rule4 % int6)) triple7) -> (rule5 % int5))) -> (rule6 % int4)) ((triple7 triple3 triple4) -> (rule3 % int3)) ((triple5 triple4) -> (rule7 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is nice.
("Fred" "is" "nice" "+")
int5
Fred is rough.
("Fred" "is" "rough" "+")
int6
((((triple3 ((triple3 triple6) -> (rule4 % int6)) triple5) -> (rule6 % int5)) ((triple7 triple3 triple4) -> (rule3 % int4)) ((((triple3 triple6) -> (rule4 % int6)) ((triple7 triple3 triple4) -> (rule3 % int4)) ((((triple3 triple6) -> (rule4 % int6)) triple7) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
int4
Fred is red.
("Fred" "is" "red" "+")
int5
Fred is rough.
("Fred" "is" "rough" "+")
int6
((((triple3 ((triple3 triple6) -> (rule4 % int6)) ((((triple3 triple6) -> (rule4 % int6)) triple7) -> (rule5 % int5))) -> (rule6 % int4)) ((triple7 triple3 triple4) -> (rule3 % int3)) ((((((triple3 triple6) -> (rule4 % int6)) triple7) -> (rule5 % int5)) triple4) -> (rule7 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is nice.
("Fred" "is" "nice" "+")
int5
Fred is rough.
("Fred" "is" "rough" "+")
int6
((((triple3 ((triple3 triple6) -> (rule4 % int6)) ((((triple3 triple6) -> (rule4 % int6)) triple7) -> (rule5 % int5))) -> (rule6 % int4)) ((triple7 triple3 triple4) -> (rule3 % int3)) ((((triple3 triple6) -> (rule4 % int6)) ((triple7 triple3 triple4) -> (rule3 % int3)) triple5) -> (rule1 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is nice.
("Fred" "is" "nice" "+")
int5
Fred is rough.
("Fred" "is" "rough" "+")
int6
((((triple3 ((triple3 triple6) -> (rule4 % int6)) ((((triple3 triple6) -> (rule4 % int6)) triple7) -> (rule5 % int5))) -> (rule6 % int4)) ((triple7 triple3 triple4) -> (rule3 % int3)) ((((triple3 triple6) -> (rule4 % int6)) ((triple7 triple3 triple4) -> (rule3 % int3)) ((((triple3 triple6) -> (rule4 % int6)) triple7) -> (rule5 % int5))) -> (rule1 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is nice.
("Fred" "is" "nice" "+")
int5
Fred is rough.
("Fred" "is" "rough" "+")
int6
Bob is not blue.
Unknown
inv-rconc
[@2: Bob is blue.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Bob" "is" "blue" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "big" "-")
Harry is cold.
Unknown
rconc
[@2: Harry is cold.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Harry" "is" "cold" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Bob is rough.[(triple2)] Bob is round.[(triple1)] Fred is cold.[(triple8 OR ((triple5 triple4) -> rule7) OR ((((triple3 triple6) -> rule4) ((triple7 triple3 triple4) -> rule3) triple5) -> rule1) OR ((((((triple3 triple6) -> rule4) triple7) -> rule5) triple4) -> rule7) OR ((((triple3 triple6) -> rule4) ((triple7 triple3 triple4) -> rule3) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule1))] Fred is green.[(triple7)] Fred is kind.[(triple6)] Fred is nice.[(triple5 OR ((((triple3 triple6) -> rule4) triple7) -> rule5))] Fred is round.[(triple4)] Fred is young.[(triple3)] Harry is big.[(triple10)] Harry is nice.[(triple9)] @1: Fred is big.[(((triple7 triple3 triple4) -> rule3))] Fred is rough.[(((triple3 triple6) -> rule4))] @2: Fred is red.[(((triple3 ((triple3 triple6) -> rule4) triple5) -> rule6) OR ((triple3 ((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule6))] @3: Fred is blue.[(((((triple3 ((triple3 triple6) -> rule4) triple5) -> rule6) ((triple7 triple3 triple4) -> rule3) triple8) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) triple5) -> rule6) ((triple7 triple3 triple4) -> rule3) ((triple5 triple4) -> rule7)) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) triple5) -> rule6) ((triple7 triple3 triple4) -> rule3) ((((triple3 triple6) -> rule4) ((triple7 triple3 triple4) -> rule3) triple5) -> rule1)) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule6) ((triple7 triple3 triple4) -> rule3) triple8) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) triple5) -> rule6) ((triple7 triple3 triple4) -> rule3) ((((((triple3 triple6) -> rule4) triple7) -> rule5) triple4) -> rule7)) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule6) ((triple7 triple3 triple4) -> rule3) ((triple5 triple4) -> rule7)) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) triple5) -> rule6) ((triple7 triple3 triple4) -> rule3) ((((triple3 triple6) -> rule4) ((triple7 triple3 triple4) -> rule3) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule1)) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule6) ((triple7 triple3 triple4) -> rule3) ((((((triple3 triple6) -> rule4) triple7) -> rule5) triple4) -> rule7)) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule6) ((triple7 triple3 triple4) -> rule3) ((((triple3 triple6) -> rule4) ((triple7 triple3 triple4) -> rule3) triple5) -> rule1)) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule6) ((triple7 triple3 triple4) -> rule3) ((((triple3 triple6) -> rule4) ((triple7 triple3 triple4) -> rule3) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule1)) -> rule2))]
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Fred is cold.
("Fred" "is" "cold" "+")
triple8
((triple5 triple4) -> (rule7 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
((((triple3 triple6) -> (rule4 % int3)) ((triple7 triple3 triple4) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
((((((triple3 triple6) -> (rule4 % int3)) triple7) -> (rule5 % int2)) triple4) -> (rule7 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
((((triple3 triple6) -> (rule4 % int4)) ((triple7 triple3 triple4) -> (rule3 % int3)) ((((triple3 triple6) -> (rule4 % int4)) triple7) -> (rule5 % int2))) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Fred is green.
("Fred" "is" "green" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Fred is nice.
("Fred" "is" "nice" "+")
triple5
((((triple3 triple6) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
triple4
Fred is young.
("Fred" "is" "young" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Fred is big.
("Fred" "is" "big" "+")
((triple7 triple3 triple4) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((triple3 triple6) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple3 ((triple3 triple6) -> (rule4 % int2)) triple5) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
((triple3 ((triple3 triple6) -> (rule4 % int3)) ((((triple3 triple6) -> (rule4 % int3)) triple7) -> (rule5 % int2))) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
((((triple3 ((triple3 triple6) -> (rule4 % int4)) triple5) -> (rule6 % int3)) ((triple7 triple3 triple4) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
((((triple3 ((triple3 triple6) -> (rule4 % int5)) triple5) -> (rule6 % int4)) ((triple7 triple3 triple4) -> (rule3 % int3)) ((triple5 triple4) -> (rule7 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is rough.
("Fred" "is" "rough" "+")
int5
((((triple3 ((triple3 triple6) -> (rule4 % int5)) triple5) -> (rule6 % int4)) ((triple7 triple3 triple4) -> (rule3 % int3)) ((((triple3 triple6) -> (rule4 % int5)) ((triple7 triple3 triple4) -> (rule3 % int3)) triple5) -> (rule1 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is rough.
("Fred" "is" "rough" "+")
int5
((((triple3 ((triple3 triple6) -> (rule4 % int5)) ((((triple3 triple6) -> (rule4 % int5)) triple7) -> (rule5 % int4))) -> (rule6 % int3)) ((triple7 triple3 triple4) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Fred is rough.
("Fred" "is" "rough" "+")
int5
((((triple3 ((triple3 triple6) -> (rule4 % int6)) triple5) -> (rule6 % int5)) ((triple7 triple3 triple4) -> (rule3 % int4)) ((((((triple3 triple6) -> (rule4 % int6)) triple7) -> (rule5 % int3)) triple4) -> (rule7 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
int4
Fred is red.
("Fred" "is" "red" "+")
int5
Fred is rough.
("Fred" "is" "rough" "+")
int6
((((triple3 ((triple3 triple6) -> (rule4 % int6)) ((((triple3 triple6) -> (rule4 % int6)) triple7) -> (rule5 % int5))) -> (rule6 % int4)) ((triple7 triple3 triple4) -> (rule3 % int3)) ((triple5 triple4) -> (rule7 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is nice.
("Fred" "is" "nice" "+")
int5
Fred is rough.
("Fred" "is" "rough" "+")
int6
((((triple3 ((triple3 triple6) -> (rule4 % int6)) triple5) -> (rule6 % int5)) ((triple7 triple3 triple4) -> (rule3 % int4)) ((((triple3 triple6) -> (rule4 % int6)) ((triple7 triple3 triple4) -> (rule3 % int4)) ((((triple3 triple6) -> (rule4 % int6)) triple7) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
int4
Fred is red.
("Fred" "is" "red" "+")
int5
Fred is rough.
("Fred" "is" "rough" "+")
int6
((((triple3 ((triple3 triple6) -> (rule4 % int6)) ((((triple3 triple6) -> (rule4 % int6)) triple7) -> (rule5 % int5))) -> (rule6 % int4)) ((triple7 triple3 triple4) -> (rule3 % int3)) ((((((triple3 triple6) -> (rule4 % int6)) triple7) -> (rule5 % int5)) triple4) -> (rule7 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is nice.
("Fred" "is" "nice" "+")
int5
Fred is rough.
("Fred" "is" "rough" "+")
int6
((((triple3 ((triple3 triple6) -> (rule4 % int6)) ((((triple3 triple6) -> (rule4 % int6)) triple7) -> (rule5 % int5))) -> (rule6 % int4)) ((triple7 triple3 triple4) -> (rule3 % int3)) ((((triple3 triple6) -> (rule4 % int6)) ((triple7 triple3 triple4) -> (rule3 % int3)) triple5) -> (rule1 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is nice.
("Fred" "is" "nice" "+")
int5
Fred is rough.
("Fred" "is" "rough" "+")
int6
((((triple3 ((triple3 triple6) -> (rule4 % int6)) ((((triple3 triple6) -> (rule4 % int6)) triple7) -> (rule5 % int5))) -> (rule6 % int4)) ((triple7 triple3 triple4) -> (rule3 % int3)) ((((triple3 triple6) -> (rule4 % int6)) ((triple7 triple3 triple4) -> (rule3 % int3)) ((((triple3 triple6) -> (rule4 % int6)) triple7) -> (rule5 % int5))) -> (rule1 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is nice.
("Fred" "is" "nice" "+")
int5
Fred is rough.
("Fred" "is" "rough" "+")
int6
Bob is a man who is both round and rough.
Young Fred woke feeling as round and nice as a kind, green man in the cold.
Harry is very nice to people, but he's also rather big.
Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others.
His cheeks were red from the cold, and his big blue eye were watering.
Young, green round people are big.
A kind, young person will be rough textured.
Rough and green people are also nice.
Young people tend to rough and nice, but they are also red.
A person who is round and nice is cold.