Alan wears all blue. Charlie is green, which is a possible explanation for why he is so nice. Eric is a rather nice, big and round fellow, who is also red from a sunburn and feeling blue. A big person who is red and nice to others is also young. People who are nice but a rough around the edges and turn red in the fun feel sad and blue. Young and rough people tend to be green too. A very nice and kind person will also be round shaped. Blue and red people who are young always have rough skin.
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is red and nice and big then they are young.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and nice and red then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and rough then they are green.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and kind then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and red and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Eric is nice.
True
1
proof
[(triple6)]
("Eric" "is" "nice" "+")
triple6
Eric is not blue.
False
1
inv-proof
[(triple7)]
("Eric" "is" "blue" "-")
triple7
Eric is young.
True
4
proof
[(((triple5 triple6 triple8) -> rule1))]
("Eric" "is" "young" "+")
((triple5 triple6 triple8) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is not young.
False
4
inv-proof
[(((triple5 triple6 triple8) -> rule1))]
("Eric" "is" "young" "-")
((triple5 triple6 triple8) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is rough.
True
7
proof
[(((triple7 triple5 ((triple5 triple6 triple8) -> rule1)) -> rule5))]
("Eric" "is" "rough" "+")
((triple7 triple5 ((triple5 triple6 triple8) -> (rule1 % int2))) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is not rough.
False
7
inv-proof
[(((triple7 triple5 ((triple5 triple6 triple8) -> rule1)) -> rule5))]
("Eric" "is" "rough" "-")
((triple7 triple5 ((triple5 triple6 triple8) -> (rule1 % int2))) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
True
12
proof
[(((((triple5 triple6 triple8) -> rule1) ((triple7 triple5 ((triple5 triple6 triple8) -> rule1)) -> rule5)) -> rule3))]
("Eric" "is" "green" "+")
((((triple5 triple6 triple8) -> (rule1 % int3)) ((triple7 triple5 ((triple5 triple6 triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is not green.
False
12
inv-proof
[(((((triple5 triple6 triple8) -> rule1) ((triple7 triple5 ((triple5 triple6 triple8) -> rule1)) -> rule5)) -> rule3))]
("Eric" "is" "green" "-")
((((triple5 triple6 triple8) -> (rule1 % int3)) ((triple7 triple5 ((triple5 triple6 triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Fred is not blue.
Unknown
inv-rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "blue" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "rough" "+")
Fred is not green.
Unknown
inv-rconc
[@2: Fred is green.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Fred" "is" "green" "-")
Alan is green.
Unknown
rconc
[@2: Alan is green.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Alan" "is" "green" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Alan is nice.
Unknown
random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "+")
@0: Alan is blue.[(triple1)] Charlie is green.[(triple3)] Charlie is nice.[(triple2)] Eric is big.[(triple8)] Eric is blue.[(triple7)] Eric is nice.[(triple6)] Eric is red.[(triple5)] Eric is round.[(triple4)] @1: Eric is young.[(((triple5 triple6 triple8) -> rule1))] @2: Eric is rough.[(((triple7 triple5 ((triple5 triple6 triple8) -> rule1)) -> rule5))] @3: Eric is green.[(((((triple5 triple6 triple8) -> rule1) ((triple7 triple5 ((triple5 triple6 triple8) -> rule1)) -> rule5)) -> rule3))]
Alan is blue.
("Alan" "is" "blue" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Eric is big.
("Eric" "is" "big" "+")
triple8
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is nice.
("Eric" "is" "nice" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
((triple5 triple6 triple8) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
((triple7 triple5 ((triple5 triple6 triple8) -> (rule1 % int2))) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((((triple5 triple6 triple8) -> (rule1 % int3)) ((triple7 triple5 ((triple5 triple6 triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Alan wears all blue.
Charlie is green, which is a possible explanation for why he is so nice.
Eric is a rather nice, big and round fellow, who is also red from a sunburn and feeling blue.
A big person who is red and nice to others is also young.
People who are nice but a rough around the edges and turn red in the fun feel sad and blue.
Young and rough people tend to be green too.
A very nice and kind person will also be round shaped.
Blue and red people who are young always have rough skin.