Alan is rough and green, but he's also nice, kind and round. Red Dave is what folks call him, because he is quite red. In the snow sits Gary, crying from being cold. Find someone cold and green. If they are also round, then they are sure to be nice. A person who's big and kind will also be cold. A person that is blue green and nice are that way because they are still young. Despite being kind cold people with red ears will still be big. Someone who is not only rough and big but also nice will necessarily be round as well. Someone being both nice and kind means that they are a big person. Someone who is big and kind is blue.
If someone is cold and green and round then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and green and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
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 rough and big and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and kind then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and big then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Alan is rough.
True
1
proof
[(triple2)]
("Alan" "is" "rough" "+")
triple2
Alan is not round.
False
1
inv-proof
[(triple1 OR ((triple2 ((triple3 triple4) -> rule6) triple3) -> rule5))]
("Alan" "is" "round" "-")
triple1
((triple2 ((triple3 triple4) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is big.
True
3
proof
[(((triple3 triple4) -> rule6))]
("Alan" "is" "big" "+")
((triple3 triple4) -> (rule6 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is not big.
False
3
inv-proof
[(((triple3 triple4) -> rule6))]
("Alan" "is" "big" "-")
((triple3 triple4) -> (rule6 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is blue.
True
5
proof
[(((triple4 ((triple3 triple4) -> rule6)) -> rule7))]
("Alan" "is" "blue" "+")
((triple4 ((triple3 triple4) -> (rule6 % int2))) -> (rule7 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is not cold.
False
5
inv-proof
[(((((triple3 triple4) -> rule6) triple4) -> rule2))]
("Alan" "is" "cold" "-")
((((triple3 triple4) -> (rule6 % int2)) triple4) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is young.
True
8
proof
[(((((triple4 ((triple3 triple4) -> rule6)) -> rule7) triple5 triple3) -> rule3))]
("Alan" "is" "young" "+")
((((triple4 ((triple3 triple4) -> (rule6 % int3))) -> (rule7 % int2)) triple5 triple3) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is not young.
False
8
inv-proof
[(((((triple4 ((triple3 triple4) -> rule6)) -> rule7) triple5 triple3) -> rule3))]
("Alan" "is" "young" "-")
((((triple4 ((triple3 triple4) -> (rule6 % int3))) -> (rule7 % int2)) triple5 triple3) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "blue" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "+")
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "round" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "nice" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Alan is green.[(triple5)] Alan is kind.[(triple4)] Alan is nice.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1 OR ((triple2 ((triple3 triple4) -> rule6) triple3) -> rule5))] Dave is red.[(triple6)] Gary is cold.[(triple7)] @1: Alan is big.[(((triple3 triple4) -> rule6))] @2: Alan is blue.[(((triple4 ((triple3 triple4) -> rule6)) -> rule7))] Alan is cold.[(((((triple3 triple4) -> rule6) triple4) -> rule2))] @3: Alan is young.[(((((triple4 ((triple3 triple4) -> rule6)) -> rule7) triple5 triple3) -> rule3))]
Alan is green.
("Alan" "is" "green" "+")
triple5
Alan is kind.
("Alan" "is" "kind" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
((triple2 ((triple3 triple4) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Alan is big.
("Alan" "is" "big" "+")
((triple3 triple4) -> (rule6 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((triple4 ((triple3 triple4) -> (rule6 % int2))) -> (rule7 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
((((triple3 triple4) -> (rule6 % int2)) triple4) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
((((triple4 ((triple3 triple4) -> (rule6 % int3))) -> (rule7 % int2)) triple5 triple3) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is rough and green, but he's also nice, kind and round.
Red Dave is what folks call him, because he is quite red.
In the snow sits Gary, crying from being cold.
Find someone cold and green; If they are also round, then they are sure to be nice.
A person who's big and kind will also be cold.
A person that is blue green and nice are that way because they are still young.
Despite being kind cold people with red ears will still be big.
Someone who is not only rough and big but also nice will necessarily be round as well.
Someone being both nice and kind means that they are a big person.
Someone who is big and kind is blue.