That man standing next to you with a big round body goes by the name of Bob. Dave is big and rough. Eric gets red when he is mad and tends to act very cold. Harry wears all blue. A big round person is nice. Pick someone blue, kind and big, and they are certain to be green as well. If you see someone who is red and green they are round, like Santa Claus. Rough folks with green and red coloration tend to feel cold no matter what. Big people that have a rough demeanor usually feel blue. A person who is very round is nice but also quite rough.
Bob is round.
("Bob" "is" "round" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is round and big then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and kind and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is red and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and green and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and rough then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and nice then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Dave is big.
True
1
proof
[(triple4)]
("Dave" "is" "big" "+")
triple4
Dave is not rough.
False
1
inv-proof
[(triple3)]
("Dave" "is" "rough" "-")
triple3
Dave is blue.
True
3
proof
[(((triple4 triple3) -> rule5))]
("Dave" "is" "blue" "+")
((triple4 triple3) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is not blue.
False
3
inv-proof
[(((triple4 triple3) -> rule5))]
("Dave" "is" "blue" "-")
((triple4 triple3) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Bob is rough.
True
5
proof
[(((triple1 ((triple1 triple2) -> rule1)) -> rule6))]
("Bob" "is" "rough" "+")
((triple1 ((triple1 triple2) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is not rough.
False
5
inv-proof
[(((triple1 ((triple1 triple2) -> rule1)) -> rule6))]
("Bob" "is" "rough" "-")
((triple1 ((triple1 triple2) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
True
7
proof
[(((triple2 ((triple1 ((triple1 triple2) -> rule1)) -> rule6)) -> rule5))]
("Bob" "is" "blue" "+")
((triple2 ((triple1 ((triple1 triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is not blue.
False
7
inv-proof
[(((triple2 ((triple1 ((triple1 triple2) -> rule1)) -> rule6)) -> rule5))]
("Bob" "is" "blue" "-")
((triple2 ((triple1 ((triple1 triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "green" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "+")
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "cold" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "round" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is big.[(triple2)] Bob is round.[(triple1)] Dave is big.[(triple4)] Dave is rough.[(triple3)] Eric is cold.[(triple6)] Eric is red.[(triple5)] Harry is blue.[(triple7)] @1: Bob is nice.[(((triple1 triple2) -> rule1))] Dave is blue.[(((triple4 triple3) -> rule5))] @2: Bob is rough.[(((triple1 ((triple1 triple2) -> rule1)) -> rule6))] @3: Bob is blue.[(((triple2 ((triple1 ((triple1 triple2) -> rule1)) -> rule6)) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Bob is nice.
("Bob" "is" "nice" "+")
((triple1 triple2) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple4 triple3) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple1 ((triple1 triple2) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
((triple2 ((triple1 ((triple1 triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
That man standing next to you with a big round body goes by the name of Bob.
Dave is big and rough.
Eric gets red when he is mad and tends to act very cold.
Harry wears all blue.
A big round person is nice.
Pick someone blue, kind and big, and they are certain to be green as well.
If you see someone who is red and green they are round, like Santa Claus.
Rough folks with green and red coloration tend to feel cold no matter what.
Big people that have a rough demeanor usually feel blue.
A person who is very round is nice but also quite rough.