There's a very big man over there who is green to this situation that seems to be rather cold despite his bright red coat named Alan. That rough but kind guy is Gary, the green one. A big person who is green and cold has red skin. Most of the people that are big and nice with green eyes, will be round. Rough and kind people are big. Have you noticed that green and round folks are also so young. Big people are also round people. When you meet someone with cold, rough skin and a round figure they will be nice. If you find that someone has rough blue skin they are always kind.
Alan is red.
("Alan" "is" "red" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is big and green and cold then they are red.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is big and nice and green then they are round.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and kind then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is green and round then they are young.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and cold and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and blue then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Gary is kind.
True
1
proof
[(triple6)]
("Gary" "is" "kind" "+")
triple6
Gary is not rough.
False
1
inv-proof
[(triple5)]
("Gary" "is" "rough" "-")
triple5
Gary is big.
True
3
proof
[(((triple5 triple6) -> rule3))]
("Gary" "is" "big" "+")
((triple5 triple6) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Alan is not round.
False
2
inv-proof
[(((triple4) -> rule5))]
("Alan" "is" "round" "-")
((triple4) -> (rule5 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
True
4
proof
[(((triple2 ((triple4) -> rule5)) -> rule4))]
("Alan" "is" "young" "+")
((triple2 ((triple4) -> (rule5 % int2))) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Gary is not round.
False
4
inv-proof
[(((((triple5 triple6) -> rule3)) -> rule5))]
("Gary" "is" "round" "-")
((((triple5 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
True
6
proof
[(((triple7 ((((triple5 triple6) -> rule3)) -> rule5)) -> rule4))]
("Gary" "is" "young" "+")
((triple7 ((((triple5 triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is not young.
False
6
inv-proof
[(((triple7 ((((triple5 triple6) -> rule3)) -> rule5)) -> rule4))]
("Gary" "is" "young" "-")
((triple7 ((((triple5 triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Charlie is not round.
Unknown
inv-rconc
[@2: Charlie is round.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Charlie" "is" "round" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "young" "+")
Alan is not kind.
Unknown
inv-rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Alan" "is" "kind" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "big" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
@0: Alan is big.[(triple4)] Alan is cold.[(triple3)] Alan is green.[(triple2)] Alan is red.[(triple1 OR ((triple4 triple2 triple3) -> rule1))] Gary is green.[(triple7)] Gary is kind.[(triple6)] Gary is rough.[(triple5)] @1: Alan is round.[(((triple4) -> rule5))] Gary is big.[(((triple5 triple6) -> rule3))] @2: Alan is young.[(((triple2 ((triple4) -> rule5)) -> rule4))] Gary is round.[(((((triple5 triple6) -> rule3)) -> rule5))] @3: Gary is young.[(((triple7 ((((triple5 triple6) -> rule3)) -> rule5)) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
((triple4 triple2 triple3) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple5
Alan is round.
("Alan" "is" "round" "+")
((triple4) -> (rule5 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple5 triple6) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
((triple2 ((triple4) -> (rule5 % int2))) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((((triple5 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((triple7 ((((triple5 triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
There's a very big man over there who is green to this situation that seems to be rather cold despite his bright red coat named Alan.
That rough but kind guy is Gary, the green one.
A big person who is green and cold has red skin.
Most of the people that are big and nice with green eyes, will be round.
Rough and kind people are big.
Have you noticed that green and round folks are also so young.
Big people are also round people.
When you meet someone with cold, rough skin and a round figure they will be nice.
If you find that someone has rough blue skin they are always kind.