Bob is rough and red, but he is still young; he is still blue with youth. In the snow sits Eric, crying from being cold. That rough but kind guy is Fred, the green one. Harry ate some rotten meat and now feels green. Rough people are often round. If you meet a nice, young, red man, you will see that they are big too. Look for the blue and green people, they are kind and will give you directions if you're lost. Nice green people and often blue with sadness. A big, young human being is sure to also be a green human being. If someone is kind, green, and round sized, then they are typically nice people. A green colored and rough person will be quite kind.
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is young and nice and red then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and nice then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and young then they are green.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and green and round then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and rough then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Fred is kind.
True
1
proof
[(triple7 OR ((triple8 triple6) -> rule7))]
("Fred" "is" "kind" "+")
triple7
((triple8 triple6) -> (rule7 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Bob is not rough.
False
1
inv-proof
[(triple2)]
("Bob" "is" "rough" "-")
triple2
Fred is round.
True
2
proof
[(((triple6) -> rule1))]
("Fred" "is" "round" "+")
((triple6) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is not round.
False
2
inv-proof
[(((triple6) -> rule1))]
("Fred" "is" "round" "-")
((triple6) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
True
5
proof
[(((triple7 triple8 ((triple6) -> rule1)) -> rule6) OR ((((triple8 triple6) -> rule7) triple8 ((triple6) -> rule1)) -> rule6))]
("Fred" "is" "nice" "+")
((triple7 triple8 ((triple6) -> (rule1 % int2))) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
((((triple8 triple6) -> (rule7 % int3)) triple8 ((triple6) -> (rule1 % int2))) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is not nice.
False
5
inv-proof
[(((triple7 triple8 ((triple6) -> rule1)) -> rule6) OR ((((triple8 triple6) -> rule7) triple8 ((triple6) -> rule1)) -> rule6))]
("Fred" "is" "nice" "-")
((triple7 triple8 ((triple6) -> (rule1 % int2))) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
((((triple8 triple6) -> (rule7 % int3)) triple8 ((triple6) -> (rule1 % int2))) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is blue.
True
7
proof
[(((triple8 ((triple7 triple8 ((triple6) -> rule1)) -> rule6)) -> rule4) OR ((triple8 ((((triple8 triple6) -> rule7) triple8 ((triple6) -> rule1)) -> rule6)) -> rule4))]
("Fred" "is" "blue" "+")
((triple8 ((triple7 triple8 ((triple6) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
((triple8 ((((triple8 triple6) -> (rule7 % int4)) triple8 ((triple6) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
Fred is not blue.
False
7
inv-proof
[(((triple8 ((triple7 triple8 ((triple6) -> rule1)) -> rule6)) -> rule4) OR ((triple8 ((((triple8 triple6) -> rule7) triple8 ((triple6) -> rule1)) -> rule6)) -> rule4))]
("Fred" "is" "blue" "-")
((triple8 ((triple7 triple8 ((triple6) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
((triple8 ((((triple8 triple6) -> (rule7 % int4)) triple8 ((triple6) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
Harry is not blue.
Unknown
inv-rconc
[@3: Harry is blue.[CWA. Example of deepest failure = (rule4 <- rule6 <- rule3 <- FAIL)]]
("Harry" "is" "blue" "-")
Eric is blue.
Unknown
rconc
[@2: Eric is blue.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Eric" "is" "blue" "+")
Fred is not big.
Unknown
inv-rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "big" "-")
Bob is kind.
Unknown
rconc
[@4: Bob is kind.[CWA. Example of deepest failure = (rule3 <- rule5 <- rule2 <- rule6 <- FAIL)]]
("Bob" "is" "kind" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Fred is red.
Unknown
random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "+")
@0: Bob is blue.[(triple4)] Bob is red.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Eric is cold.[(triple5)] Fred is green.[(triple8)] Fred is kind.[(triple7 OR ((triple8 triple6) -> rule7))] Fred is rough.[(triple6)] Harry is green.[(triple9)] @1: Bob is round.[(((triple2) -> rule1))] Fred is round.[(((triple6) -> rule1))] @2: Fred is nice.[(((triple7 triple8 ((triple6) -> rule1)) -> rule6) OR ((((triple8 triple6) -> rule7) triple8 ((triple6) -> rule1)) -> rule6))] @3: Fred is blue.[(((triple8 ((triple7 triple8 ((triple6) -> rule1)) -> rule6)) -> rule4) OR ((triple8 ((((triple8 triple6) -> rule7) triple8 ((triple6) -> rule1)) -> rule6)) -> rule4))]
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple5
Fred is green.
("Fred" "is" "green" "+")
triple8
Fred is kind.
("Fred" "is" "kind" "+")
triple7
((triple8 triple6) -> (rule7 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple9
Bob is round.
("Bob" "is" "round" "+")
((triple2) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
((triple6) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple7 triple8 ((triple6) -> (rule1 % int2))) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
((((triple8 triple6) -> (rule7 % int3)) triple8 ((triple6) -> (rule1 % int2))) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
((triple8 ((triple7 triple8 ((triple6) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
((triple8 ((((triple8 triple6) -> (rule7 % int4)) triple8 ((triple6) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
Bob is rough and red, but he is still young; he is still blue with youth.
In the snow sits Eric, crying from being cold.
That rough but kind guy is Fred, the green one.
Harry ate some rotten meat and now feels green.
Rough people are often round.
If you meet a nice, young, red man, you will see that they are big too.
Look for the blue and green people, they are kind and will give you directions if you're lost.
Nice green people and often blue with sadness.
A big, young human being is sure to also be a green human being.
If someone is kind, green, and round sized, then they are typically nice people.
A green colored and rough person will be quite kind.