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.
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.