Bob is very young to be a nurse but he loves helping others because he is so nice and kind. Charlie is big and rough. One day Harry, a very nice old man with green ears, asked if I was as cold a block of ice. I said no but that I had heard that round people like him are cold blooded. Despite being kind cold people with red ears will still be big. People who are big and kind and feel down and blue tend to have rough skin. Someone being both nice and kind means that they are a big person. Cold and kind people tend to be blue. A green and quite rough person will also be blue. A nice person with rough skin will be round, you can count on it. A kind, young human will also be a blue human.
Bob is young.
("Bob" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is cold and red and kind then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and big and blue then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and kind then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and kind then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and green then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and young then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Harry is nice.
True
1
proof
[(triple7)]
("Harry" "is" "nice" "+")
triple7
Harry is not cold.
False
1
inv-proof
[(triple9)]
("Harry" "is" "cold" "-")
triple9
Bob is blue.
True
3
proof
[(((triple3 triple1) -> rule7))]
("Bob" "is" "blue" "+")
((triple3 triple1) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
3
inv-proof
[(((triple3 triple1) -> rule7))]
("Bob" "is" "blue" "-")
((triple3 triple1) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
True
8
proof
[(((triple3 ((triple2 triple3) -> rule3) ((triple3 triple1) -> rule7)) -> rule2))]
("Bob" "is" "rough" "+")
((triple3 ((triple2 triple3) -> (rule3 % int3)) ((triple3 triple1) -> (rule7 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is not rough.
False
8
inv-proof
[(((triple3 ((triple2 triple3) -> rule3) ((triple3 triple1) -> rule7)) -> rule2))]
("Bob" "is" "rough" "-")
((triple3 ((triple2 triple3) -> (rule3 % int3)) ((triple3 triple1) -> (rule7 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is round.
True
10
proof
[(((((triple3 ((triple2 triple3) -> rule3) ((triple3 triple1) -> rule7)) -> rule2) triple2) -> rule6))]
("Bob" "is" "round" "+")
((((triple3 ((triple2 triple3) -> (rule3 % int4)) ((triple3 triple1) -> (rule7 % int3))) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is not round.
False
10
inv-proof
[(((((triple3 ((triple2 triple3) -> rule3) ((triple3 triple1) -> rule7)) -> rule2) triple2) -> rule6))]
("Bob" "is" "round" "-")
((((triple3 ((triple2 triple3) -> (rule3 % int4)) ((triple3 triple1) -> (rule7 % int3))) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "round" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "round" "+")
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "blue" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is kind.[(triple3)] Bob is nice.[(triple2)] Bob is young.[(triple1)] Charlie is big.[(triple5)] Charlie is rough.[(triple4)] Harry is cold.[(triple9)] Harry is green.[(triple8)] Harry is nice.[(triple7)] Harry is round.[(triple6)] @1: Bob is big.[(((triple2 triple3) -> rule3))] Bob is blue.[(((triple3 triple1) -> rule7))] @2: Bob is rough.[(((triple3 ((triple2 triple3) -> rule3) ((triple3 triple1) -> rule7)) -> rule2))] @3: Bob is round.[(((((triple3 ((triple2 triple3) -> rule3) ((triple3 triple1) -> rule7)) -> rule2) triple2) -> rule6))]
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple6
Bob is big.
("Bob" "is" "big" "+")
((triple2 triple3) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((triple3 triple1) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple3 ((triple2 triple3) -> (rule3 % int3)) ((triple3 triple1) -> (rule7 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
((((triple3 ((triple2 triple3) -> (rule3 % int4)) ((triple3 triple1) -> (rule7 % int3))) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is very young to be a nurse but he loves helping others because he is so nice and kind.
Charlie is big and rough.
One day Harry, a very nice old man with green ears, asked if I was as cold a block of ice; I said no but that I had heard that round people like him are cold blooded.
Despite being kind cold people with red ears will still be big.
People who are big and kind and feel down and blue tend to have rough skin.
Someone being both nice and kind means that they are a big person.
Cold and kind people tend to be blue.
A green and quite rough person will also be blue.
A nice person with rough skin will be round, you can count on it.
A kind, young human will also be a blue human.