Bob was looking rather round and feeling rather cold, but people thought he is kind. Charlie is young and round, he is also green. The diving trip left Eric red and green all over, yet he remains the nice (though rather rough) guy he always has been. Harry wears all blue. A rough and kind person is big. Rough and cold and blue people are round. If you meet someone who is big and kind with cold skin, they will be young. A nice person with rough skin will be round, you can count on it. People who are nice and rough are looked at as kind. It's always true that round, kind people are rough as well. Kind people, for example, like the ones at the bank are always blue.
Bob is round.
("Bob" "is" "round" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is kind and rough then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and blue and cold then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and cold and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and kind then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Eric is nice.
True
1
proof
[(triple9)]
("Eric" "is" "nice" "+")
triple9
Bob is not kind.
False
1
inv-proof
[(triple2)]
("Bob" "is" "kind" "-")
triple2
Eric is round.
True
3
proof
[(((triple7 triple9) -> rule4))]
("Eric" "is" "round" "+")
((triple7 triple9) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is not round.
False
3
inv-proof
[(((triple7 triple9) -> rule4))]
("Eric" "is" "round" "-")
((triple7 triple9) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Bob is big.
True
5
proof
[(((triple2 ((triple1 triple2) -> rule6)) -> rule1))]
("Bob" "is" "big" "+")
((triple2 ((triple1 triple2) -> (rule6 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is not big.
False
5
inv-proof
[(((triple2 ((triple1 triple2) -> rule6)) -> rule1))]
("Bob" "is" "big" "-")
((triple2 ((triple1 triple2) -> (rule6 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
True
8
proof
[(((triple2 triple3 ((triple2 ((triple1 triple2) -> rule6)) -> rule1)) -> rule3))]
("Bob" "is" "young" "+")
((triple2 triple3 ((triple2 ((triple1 triple2) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is not young.
False
8
inv-proof
[(((triple2 triple3 ((triple2 ((triple1 triple2) -> rule6)) -> rule1)) -> rule3))]
("Bob" "is" "young" "-")
((triple2 triple3 ((triple2 ((triple1 triple2) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "young" "-")
Harry is rough.
Unknown
rconc
[@2: Harry is rough.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Harry" "is" "rough" "+")
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "young" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "kind" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is cold.[(triple3)] Bob is kind.[(triple2)] Bob is round.[(triple1)] Charlie is green.[(triple6)] Charlie is round.[(triple5)] Charlie is young.[(triple4)] Eric is green.[(triple10)] Eric is nice.[(triple9)] Eric is red.[(triple8)] Eric is rough.[(triple7)] Harry is blue.[(triple11)] @1: Bob is blue.[(((triple2) -> rule7))] Bob is rough.[(((triple1 triple2) -> rule6))] Eric is kind.[(((triple9 triple7) -> rule5))] Eric is round.[(((triple7 triple9) -> rule4))] @2: Bob is big.[(((triple2 ((triple1 triple2) -> rule6)) -> rule1))] Eric is big.[(((((triple9 triple7) -> rule5) triple7) -> rule1))] Eric is blue.[(((((triple9 triple7) -> rule5)) -> rule7))] @3: Bob is young.[(((triple2 triple3 ((triple2 ((triple1 triple2) -> rule6)) -> rule1)) -> rule3))]
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Eric is green.
("Eric" "is" "green" "+")
triple10
Eric is nice.
("Eric" "is" "nice" "+")
triple9
Eric is red.
("Eric" "is" "red" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Bob is blue.
("Bob" "is" "blue" "+")
((triple2) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple1 triple2) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple9 triple7) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((triple7 triple9) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((triple2 ((triple1 triple2) -> (rule6 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((((triple9 triple7) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
((((triple9 triple7) -> (rule5 % int2))) -> (rule7 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((triple2 triple3 ((triple2 ((triple1 triple2) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob was looking rather round and feeling rather cold, but people thought he is kind.
Charlie is young and round, he is also green.
The diving trip left Eric red and green all over, yet he remains the nice (though rather rough) guy he always has been.
Harry wears all blue.
A rough and kind person is big.
Rough and cold and blue people are round.
If you meet someone who is big and kind with cold skin, they will be young.
A nice person with rough skin will be round, you can count on it.
People who are nice and rough are looked at as kind.
It's always true that round, kind people are rough as well.
Kind people, for example, like the ones at the bank are always blue.