Bob is very cold but acts in a kind way to everyone despite being totally green here when he wears his red jacket. Eric is a very kind, green but sometimes cold person. Whoever is rough and red must be kind. Nice, green people that are somewhat round are big through the shoulders. There could be a round someone with red hair wearing blue pants. You can count on someone who is red and green being young. A cold person, who is kind in nature and young in years, is round. Nice people who are looking green and seeing red usually feel rather rough.
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
If someone is rough and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and nice and round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is red and round then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and green then they are young.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and kind and young then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and green and red then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Eric is cold.
True
1
proof
[(triple7)]
("Eric" "is" "cold" "+")
triple7
Eric is not kind.
False
1
inv-proof
[(triple5)]
("Eric" "is" "kind" "-")
triple5
Bob is young.
True
3
proof
[(((triple1 triple3) -> rule4))]
("Bob" "is" "young" "+")
((triple1 triple3) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not young.
False
3
inv-proof
[(((triple1 triple3) -> rule4))]
("Bob" "is" "young" "-")
((triple1 triple3) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
True
6
proof
[(((triple4 triple2 ((triple1 triple3) -> rule4)) -> rule5))]
("Bob" "is" "round" "+")
((triple4 triple2 ((triple1 triple3) -> (rule4 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is not round.
False
6
inv-proof
[(((triple4 triple2 ((triple1 triple3) -> rule4)) -> rule5))]
("Bob" "is" "round" "-")
((triple4 triple2 ((triple1 triple3) -> (rule4 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is blue.
True
8
proof
[(((triple1 ((triple4 triple2 ((triple1 triple3) -> rule4)) -> rule5)) -> rule3))]
("Bob" "is" "blue" "+")
((triple1 ((triple4 triple2 ((triple1 triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is not blue.
False
8
inv-proof
[(((triple1 ((triple4 triple2 ((triple1 triple3) -> rule4)) -> rule5)) -> rule3))]
("Bob" "is" "blue" "-")
((triple1 ((triple4 triple2 ((triple1 triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "rough" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "+")
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "round" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "blue" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
@0: Bob is cold.[(triple4)] Bob is green.[(triple3)] Bob is kind.[(triple2)] Bob is red.[(triple1)] Eric is cold.[(triple7)] Eric is green.[(triple6)] Eric is kind.[(triple5)] @1: Bob is young.[(((triple1 triple3) -> rule4))] @2: Bob is round.[(((triple4 triple2 ((triple1 triple3) -> rule4)) -> rule5))] @3: Bob is blue.[(((triple1 ((triple4 triple2 ((triple1 triple3) -> rule4)) -> rule5)) -> rule3))]
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple7
Eric is green.
("Eric" "is" "green" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
((triple1 triple3) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple4 triple2 ((triple1 triple3) -> (rule4 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
((triple1 ((triple4 triple2 ((triple1 triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is very cold but acts in a kind way to everyone despite being totally green here when he wears his red jacket.
Eric is a very kind, green but sometimes cold person.
Whoever is rough and red must be kind.
Nice, green people that are somewhat round are big through the shoulders.
There could be a round someone with red hair wearing blue pants.
You can count on someone who is red and green being young.
A cold person, who is kind in nature and young in years, is round.
Nice people who are looking green and seeing red usually feel rather rough.