Alan was feeling red with anger after the fight, but he was still a nice but big human being. Charlie is a nice person who is red because he has a rash. They always call him rough Eric. They always call him rough Gary. When someone is blue, lives green they can be rough but kind. When you meet big guys with red hair, then tend to be cold hearted. Someone who is colored both in red and green, while being kind to others, is a round person. It is impossible for a nice person who is blue and red not to be rough. Red and kind people always seem to be big as well. Big people who at the same time are cold hearted and nice are a conundrum but they are also kind. People who are nice and cold are also green.
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If someone is blue and rough and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and red then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and green and kind then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and red and nice then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and nice and big then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and cold then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Alan is big.
True
1
proof
[(triple3)]
("Alan" "is" "big" "+")
triple3
Charlie is not nice.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "nice" "-")
triple5
Alan is cold.
True
3
proof
[(((triple3 triple1) -> rule2))]
("Alan" "is" "cold" "+")
((triple3 triple1) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is not cold.
False
3
inv-proof
[(((triple3 triple1) -> rule2))]
("Alan" "is" "cold" "-")
((triple3 triple1) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is kind.
True
6
proof
[(((((triple3 triple1) -> rule2) triple2 triple3) -> rule6))]
("Alan" "is" "kind" "+")
((((triple3 triple1) -> (rule2 % int2)) triple2 triple3) -> (rule6 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is not green.
False
5
inv-proof
[(((triple2 ((triple3 triple1) -> rule2)) -> rule7))]
("Alan" "is" "green" "-")
((triple2 ((triple3 triple1) -> (rule2 % int2))) -> (rule7 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is round.
True
13
proof
[(((triple1 ((triple2 ((triple3 triple1) -> rule2)) -> rule7) ((((triple3 triple1) -> rule2) triple2 triple3) -> rule6)) -> rule3))]
("Alan" "is" "round" "+")
((triple1 ((triple2 ((triple3 triple1) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple3 triple1) -> (rule2 % int4)) triple2 triple3) -> (rule6 % int2))) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is not round.
False
13
inv-proof
[(((triple1 ((triple2 ((triple3 triple1) -> rule2)) -> rule7) ((((triple3 triple1) -> rule2) triple2 triple3) -> rule6)) -> rule3))]
("Alan" "is" "round" "-")
((triple1 ((triple2 ((triple3 triple1) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple3 triple1) -> (rule2 % int4)) triple2 triple3) -> (rule6 % int2))) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Charlie is not big.
Unknown
inv-rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Charlie" "is" "big" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "rough" "+")
Eric is not big.
Unknown
inv-rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "big" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "round" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Alan is big.[(triple3)] Alan is nice.[(triple2)] Alan is red.[(triple1)] Charlie is nice.[(triple5)] Charlie is red.[(triple4)] Eric is rough.[(triple6)] Gary is rough.[(triple7)] @1: Alan is cold.[(((triple3 triple1) -> rule2))] @2: Alan is green.[(((triple2 ((triple3 triple1) -> rule2)) -> rule7))] Alan is kind.[(((((triple3 triple1) -> rule2) triple2 triple3) -> rule6))] @3: Alan is round.[(((triple1 ((triple2 ((triple3 triple1) -> rule2)) -> rule7) ((((triple3 triple1) -> rule2) triple2 triple3) -> rule6)) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Alan is cold.
("Alan" "is" "cold" "+")
((triple3 triple1) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
((triple2 ((triple3 triple1) -> (rule2 % int2))) -> (rule7 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
((((triple3 triple1) -> (rule2 % int2)) triple2 triple3) -> (rule6 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
((triple1 ((triple2 ((triple3 triple1) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple3 triple1) -> (rule2 % int4)) triple2 triple3) -> (rule6 % int2))) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan was feeling red with anger after the fight, but he was still a nice but big human being.
Charlie is a nice person who is red because he has a rash.
They always call him rough Eric.
They always call him rough Gary.
When someone is blue, lives green they can be rough but kind.
When you meet big guys with red hair, then tend to be cold hearted.
Someone who is colored both in red and green, while being kind to others, is a round person.
It is impossible for a nice person who is blue and red not to be rough.
Red and kind people always seem to be big as well.
Big people who at the same time are cold hearted and nice are a conundrum but they are also kind.
People who are nice and cold are also green.