Alan ate some rotten meat and now feels green. Charlie who is considered nice was feeling rather rough today. Eric is young, but very kind to others. Eric is big, with round features. Gary is round shaped and green colored. When you meet someone round, blue and nice they are as a rule rough. Green and blue people have a habit of being cold, which makes them red too. If a kind person is also young and round shaped, they will be colored blue. A young aged blue person will certainly be nice.
Alan is green.
("Alan" "is" "green" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is blue and nice and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
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 kind and young and round then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and blue then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
Gary is green.
True
1
proof
[(triple9)]
("Gary" "is" "green" "+")
triple9
Gary is not green.
False
1
inv-proof
[(triple9)]
("Gary" "is" "green" "-")
triple9
Eric is blue.
True
4
proof
[(((triple6 triple4 triple5) -> rule3))]
("Eric" "is" "blue" "+")
((triple6 triple4 triple5) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is not blue.
False
4
inv-proof
[(((triple6 triple4 triple5) -> rule3))]
("Eric" "is" "blue" "-")
((triple6 triple4 triple5) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
True
6
proof
[(((triple4 ((triple6 triple4 triple5) -> rule3)) -> rule4))]
("Eric" "is" "nice" "+")
((triple4 ((triple6 triple4 triple5) -> (rule3 % int2))) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is not nice.
False
6
inv-proof
[(((triple4 ((triple6 triple4 triple5) -> rule3)) -> rule4))]
("Eric" "is" "nice" "-")
((triple4 ((triple6 triple4 triple5) -> (rule3 % int2))) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is rough.
True
12
proof
[(((((triple6 triple4 triple5) -> rule3) ((triple4 ((triple6 triple4 triple5) -> rule3)) -> rule4) triple5) -> rule1))]
("Eric" "is" "rough" "+")
((((triple6 triple4 triple5) -> (rule3 % int3)) ((triple4 ((triple6 triple4 triple5) -> (rule3 % int3))) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is not rough.
False
12
inv-proof
[(((((triple6 triple4 triple5) -> rule3) ((triple4 ((triple6 triple4 triple5) -> rule3)) -> rule4) triple5) -> rule1))]
("Eric" "is" "rough" "-")
((((triple6 triple4 triple5) -> (rule3 % int3)) ((triple4 ((triple6 triple4 triple5) -> (rule3 % int3))) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "red" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "blue" "+")
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "nice" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "blue" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Alan is green.[(triple1)] Charlie is nice.[(triple3)] Charlie is rough.[(triple2)] Eric is big.[(triple7)] Eric is kind.[(triple6)] Eric is round.[(triple5)] Eric is young.[(triple4)] Gary is green.[(triple9)] Gary is round.[(triple8)] @1: Eric is blue.[(((triple6 triple4 triple5) -> rule3))] @2: Eric is nice.[(((triple4 ((triple6 triple4 triple5) -> rule3)) -> rule4))] @3: Eric is rough.[(((((triple6 triple4 triple5) -> rule3) ((triple4 ((triple6 triple4 triple5) -> rule3)) -> rule4) triple5) -> rule1))]
Alan is green.
("Alan" "is" "green" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Eric is blue.
("Eric" "is" "blue" "+")
((triple6 triple4 triple5) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple4 ((triple6 triple4 triple5) -> (rule3 % int2))) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
((((triple6 triple4 triple5) -> (rule3 % int3)) ((triple4 ((triple6 triple4 triple5) -> (rule3 % int3))) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Alan ate some rotten meat and now feels green.
Charlie who is considered nice was feeling rather rough today.
Eric is young, but very kind to others; Eric is big, with round features.
Gary is round shaped and green colored.
When you meet someone round, blue and nice they are as a rule rough.
Green and blue people have a habit of being cold, which makes them red too.
If a kind person is also young and round shaped, they will be colored blue.
A young aged blue person will certainly be nice.