Alan ate some rotten meat and now feels green. Eric is very nice to people, but he's also rather big. Harry is someone you could describe as young, round, cold, and blue. Green and blue people have a habit of being cold, which makes them red too. Young round blue people are also big people. A big, young human being is sure to also be a green human being. If a nice person is round shaped, they feel blue about it. It's always true that round, kind people are rough as well.
Alan is green.
("Alan" "is" "green" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is green and blue and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is round and blue and young then they are big.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is big and young then they are green.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and kind then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Eric is nice.
True
1
proof
[(triple2)]
("Eric" "is" "nice" "+")
triple2
Harry is not blue.
False
1
inv-proof
[(triple7)]
("Harry" "is" "blue" "-")
triple7
Harry is big.
True
4
proof
[(((triple5 triple7 triple4) -> rule2))]
("Harry" "is" "big" "+")
((triple5 triple7 triple4) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not big.
False
4
inv-proof
[(((triple5 triple7 triple4) -> rule2))]
("Harry" "is" "big" "-")
((triple5 triple7 triple4) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
True
6
proof
[(((((triple5 triple7 triple4) -> rule2) triple4) -> rule3))]
("Harry" "is" "green" "+")
((((triple5 triple7 triple4) -> (rule2 % int2)) triple4) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is not green.
False
6
inv-proof
[(((((triple5 triple7 triple4) -> rule2) triple4) -> rule3))]
("Harry" "is" "green" "-")
((((triple5 triple7 triple4) -> (rule2 % int2)) triple4) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
True
9
proof
[(((((((triple5 triple7 triple4) -> rule2) triple4) -> rule3) triple7 triple6) -> rule1))]
("Harry" "is" "red" "+")
((((((triple5 triple7 triple4) -> (rule2 % int3)) triple4) -> (rule3 % int2)) triple7 triple6) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is not red.
False
9
inv-proof
[(((((((triple5 triple7 triple4) -> rule2) triple4) -> rule3) triple7 triple6) -> rule1))]
("Harry" "is" "red" "-")
((((((triple5 triple7 triple4) -> (rule2 % int3)) triple4) -> (rule3 % int2)) triple7 triple6) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Eric is not rough.
Unknown
inv-rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "rough" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "blue" "+")
Eric is not red.
Unknown
inv-rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "red" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "red" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
@0: Alan is green.[(triple1)] Eric is big.[(triple3)] Eric is nice.[(triple2)] Harry is blue.[(triple7)] Harry is cold.[(triple6)] Harry is round.[(triple5)] Harry is young.[(triple4)] @1: Harry is big.[(((triple5 triple7 triple4) -> rule2))] @2: Harry is green.[(((((triple5 triple7 triple4) -> rule2) triple4) -> rule3))] @3: Harry is red.[(((((((triple5 triple7 triple4) -> rule2) triple4) -> rule3) triple7 triple6) -> rule1))]
Alan is green.
("Alan" "is" "green" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple3
Eric is nice.
("Eric" "is" "nice" "+")
triple2
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple5
Harry is young.
("Harry" "is" "young" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
((triple5 triple7 triple4) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((((triple5 triple7 triple4) -> (rule2 % int2)) triple4) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((((((triple5 triple7 triple4) -> (rule2 % int3)) triple4) -> (rule3 % int2)) triple7 triple6) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Alan ate some rotten meat and now feels green.
Eric is very nice to people, but he's also rather big.
Harry is someone you could describe as young, round, cold, and blue.
Green and blue people have a habit of being cold, which makes them red too.
Young round blue people are also big people.
A big, young human being is sure to also be a green human being.
If a nice person is round shaped, they feel blue about it.
It's always true that round, kind people are rough as well.