Although Bob is seen as nice and round, his days of playing football have made him quite rough. Dave always goes out of his way to show that he is kind to people. As much as Fred is nice, he is also cold and often feels blue. Blue and green Harry is so kind he snowplows the neighbors driveways and everyone thanks him with beer. Someone who looks rough and feels cold is also kind to others. Fat, round people who are green with envy and notoriously rough. A rough and kind person is big. Someone can be young, big, and cold but green. Blue and red people who are young always have rough skin. A person who is round and nice is cold.
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is rough and cold then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and round then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and rough then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is young and cold and big then they are green.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and red and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and round then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Fred is cold.
True
1
proof
[(triple6)]
("Fred" "is" "cold" "+")
triple6
Fred is not nice.
False
1
inv-proof
[(triple5)]
("Fred" "is" "nice" "-")
triple5
Bob is cold.
True
3
proof
[(((triple3 triple1) -> rule6))]
("Bob" "is" "cold" "+")
((triple3 triple1) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not cold.
False
3
inv-proof
[(((triple3 triple1) -> rule6))]
("Bob" "is" "cold" "-")
((triple3 triple1) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
True
5
proof
[(((triple2 ((triple3 triple1) -> rule6)) -> rule1))]
("Bob" "is" "kind" "+")
((triple2 ((triple3 triple1) -> (rule6 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is not kind.
False
5
inv-proof
[(((triple2 ((triple3 triple1) -> rule6)) -> rule1))]
("Bob" "is" "kind" "-")
((triple2 ((triple3 triple1) -> (rule6 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
True
7
proof
[(((((triple2 ((triple3 triple1) -> rule6)) -> rule1) triple2) -> rule3))]
("Bob" "is" "big" "+")
((((triple2 ((triple3 triple1) -> (rule6 % int3))) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not big.
False
7
inv-proof
[(((((triple2 ((triple3 triple1) -> rule6)) -> rule1) triple2) -> rule3))]
("Bob" "is" "big" "-")
((((triple2 ((triple3 triple1) -> (rule6 % int3))) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "rough" "-")
Harry is big.
Unknown
rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Harry" "is" "big" "+")
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "rough" "-")
Fred is big.
Unknown
rconc
[@2: Fred is big.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Fred" "is" "big" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is nice.[(triple3)] Bob is rough.[(triple2)] Bob is round.[(triple1)] Dave is kind.[(triple4)] Fred is blue.[(triple7)] Fred is cold.[(triple6)] Fred is nice.[(triple5)] Harry is blue.[(triple10)] Harry is green.[(triple9)] Harry is kind.[(triple8)] @1: Bob is cold.[(((triple3 triple1) -> rule6))] @2: Bob is kind.[(((triple2 ((triple3 triple1) -> rule6)) -> rule1))] @3: Bob is big.[(((((triple2 ((triple3 triple1) -> rule6)) -> rule1) triple2) -> rule3))]
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Fred is cold.
("Fred" "is" "cold" "+")
triple6
Fred is nice.
("Fred" "is" "nice" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Bob is cold.
("Bob" "is" "cold" "+")
((triple3 triple1) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((triple2 ((triple3 triple1) -> (rule6 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
((((triple2 ((triple3 triple1) -> (rule6 % int3))) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Although Bob is seen as nice and round, his days of playing football have made him quite rough.
Dave always goes out of his way to show that he is kind to people.
As much as Fred is nice, he is also cold and often feels blue.
Blue and green Harry is so kind he snowplows the neighbors driveways and everyone thanks him with beer.
Someone who looks rough and feels cold is also kind to others.
Fat, round people who are green with envy and notoriously rough.
A rough and kind person is big.
Someone can be young, big, and cold but green.
Blue and red people who are young always have rough skin.
A person who is round and nice is cold.