Alan appears green and blue, he is also rather round and kind. Eric wears all blue. Harry has a round,red,rough looking face with kind eyes. Blue kind people are almost always nice to others. If a kind, red person is also feeling blue then he will be cold to outsiders. It is true that anyone who is cold while being young and nice is secretly a kind person. A kind and nice person who is looking green is often red. Nice people that are colored red and green are always round. A person that is both nice and young will also be cold.
Alan is round.
("Alan" "is" "round" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is blue and kind then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and red and blue then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and cold and young then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and nice and green then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is green and red and nice then they are round.
((("someone" "is" "green" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and young then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Harry is kind.
True
1
proof
[(triple9)]
("Harry" "is" "kind" "+")
triple9
Alan is not green.
False
1
inv-proof
[(triple3)]
("Alan" "is" "green" "-")
triple3
Alan is nice.
True
3
proof
[(((triple4 triple2) -> rule1))]
("Alan" "is" "nice" "+")
((triple4 triple2) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is not nice.
False
3
inv-proof
[(((triple4 triple2) -> rule1))]
("Alan" "is" "nice" "-")
((triple4 triple2) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is red.
True
6
proof
[(((triple2 ((triple4 triple2) -> rule1) triple3) -> rule4))]
("Alan" "is" "red" "+")
((triple2 ((triple4 triple2) -> (rule1 % int2)) triple3) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is not red.
False
6
inv-proof
[(((triple2 ((triple4 triple2) -> rule1) triple3) -> rule4))]
("Alan" "is" "red" "-")
((triple2 ((triple4 triple2) -> (rule1 % int2)) triple3) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
True
9
proof
[(((triple2 ((triple2 ((triple4 triple2) -> rule1) triple3) -> rule4) triple4) -> rule2))]
("Alan" "is" "cold" "+")
((triple2 ((triple2 ((triple4 triple2) -> (rule1 % int3)) triple3) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is not cold.
False
9
inv-proof
[(((triple2 ((triple2 ((triple4 triple2) -> rule1) triple3) -> rule4) triple4) -> rule2))]
("Alan" "is" "cold" "-")
((triple2 ((triple2 ((triple4 triple2) -> (rule1 % int3)) triple3) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "cold" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "round" "+")
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "-")
Eric is kind.
Unknown
rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "kind" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
@0: Alan is blue.[(triple4)] Alan is green.[(triple3)] Alan is kind.[(triple2)] Alan is round.[(triple1 OR ((triple3 ((triple2 ((triple4 triple2) -> rule1) triple3) -> rule4) ((triple4 triple2) -> rule1)) -> rule5))] Eric is blue.[(triple5)] Harry is kind.[(triple9)] Harry is red.[(triple8)] Harry is rough.[(triple7)] Harry is round.[(triple6)] @1: Alan is nice.[(((triple4 triple2) -> rule1))] @2: Alan is red.[(((triple2 ((triple4 triple2) -> rule1) triple3) -> rule4))] @3: Alan is cold.[(((triple2 ((triple2 ((triple4 triple2) -> rule1) triple3) -> rule4) triple4) -> rule2))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
((triple3 ((triple2 ((triple4 triple2) -> (rule1 % int3)) triple3) -> (rule4 % int2)) ((triple4 triple2) -> (rule1 % int3))) -> (rule5 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple6
Alan is nice.
("Alan" "is" "nice" "+")
((triple4 triple2) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
((triple2 ((triple4 triple2) -> (rule1 % int2)) triple3) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
((triple2 ((triple2 ((triple4 triple2) -> (rule1 % int3)) triple3) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan appears green and blue, he is also rather round and kind.
Eric wears all blue.
Harry has a round,red,rough looking face with kind eyes.
Blue kind people are almost always nice to others.
If a kind, red person is also feeling blue then he will be cold to outsiders.
It is true that anyone who is cold while being young and nice is secretly a kind person.
A kind and nice person who is looking green is often red.
Nice people that are colored red and green are always round.
A person that is both nice and young will also be cold.