Dave plays rough and gets red in his round face,yet people know he is young and often blue. Fred is a round fellow, but he is kind, even when he is so cold he turns blue. Harry ate some rotten meat and now feels green. People who are blue, cold, and round are often kind. Round people who feel rough also always feel cold,. People who are round and young are also very nice. A young person who is red a kind is also usually big.
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is blue and cold and round then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and rough then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and young then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("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" "+"))
Dave is rough.
True
1
proof
[(triple3)]
("Dave" "is" "rough" "+")
triple3
Dave is not blue.
False
1
inv-proof
[(triple5)]
("Dave" "is" "blue" "-")
triple5
Dave is cold.
True
3
proof
[(((triple2 triple3) -> rule2))]
("Dave" "is" "cold" "+")
((triple2 triple3) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not nice.
False
3
inv-proof
[(((triple2 triple1) -> rule3))]
("Dave" "is" "nice" "-")
((triple2 triple1) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
True
6
proof
[(((triple5 ((triple2 triple3) -> rule2) triple2) -> rule1))]
("Dave" "is" "kind" "+")
((triple5 ((triple2 triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not kind.
False
6
inv-proof
[(((triple5 ((triple2 triple3) -> rule2) triple2) -> rule1))]
("Dave" "is" "kind" "-")
((triple5 ((triple2 triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is big.
True
9
proof
[(((triple4 triple1 ((triple5 ((triple2 triple3) -> rule2) triple2) -> rule1)) -> rule4))]
("Dave" "is" "big" "+")
((triple4 triple1 ((triple5 ((triple2 triple3) -> (rule2 % int3)) triple2) -> (rule1 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not big.
False
9
inv-proof
[(((triple4 triple1 ((triple5 ((triple2 triple3) -> rule2) triple2) -> rule1)) -> rule4))]
("Dave" "is" "big" "-")
((triple4 triple1 ((triple5 ((triple2 triple3) -> (rule2 % int3)) triple2) -> (rule1 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "cold" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "big" "+")
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "big" "-")
Bob is kind.
Unknown
rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "kind" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Dave is blue.[(triple5)] Dave is red.[(triple4)] Dave is rough.[(triple3)] Dave is round.[(triple2)] Dave is young.[(triple1)] Fred is blue.[(triple9)] Fred is cold.[(triple8)] Fred is kind.[(triple7 OR ((triple9 triple8 triple6) -> rule1))] Fred is round.[(triple6)] Harry is green.[(triple10)] @1: Dave is cold.[(((triple2 triple3) -> rule2))] Dave is nice.[(((triple2 triple1) -> rule3))] @2: Dave is kind.[(((triple5 ((triple2 triple3) -> rule2) triple2) -> rule1))] @3: Dave is big.[(((triple4 triple1 ((triple5 ((triple2 triple3) -> rule2) triple2) -> rule1)) -> rule4))]
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple9
Fred is cold.
("Fred" "is" "cold" "+")
triple8
Fred is kind.
("Fred" "is" "kind" "+")
triple7
((triple9 triple8 triple6) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple10
Dave is cold.
("Dave" "is" "cold" "+")
((triple2 triple3) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple2 triple1) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((triple5 ((triple2 triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
((triple4 triple1 ((triple5 ((triple2 triple3) -> (rule2 % int3)) triple2) -> (rule1 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave plays rough and gets red in his round face,yet people know he is young and often blue.
Fred is a round fellow, but he is kind, even when he is so cold he turns blue.
Harry ate some rotten meat and now feels green.
People who are blue, cold, and round are often kind.
Round people who feel rough also always feel cold,.
People who are round and young are also very nice.
A young person who is red a kind is also usually big.