They always call him rough Alan. Charlie is young and nice, but when he's feeling blue, he can also be quite cold to people. Young Dave got into a fight that left him with red sores on his face. Eric is a round fellow, but he is kind, even when he is so cold he turns blue. A person that is cold, blue and nice is also considered to be round. Blue kind people are almost always nice to others. A young round person who is green is also red. If a nice person is round shaped, they feel blue about it. Someone who's blue, nice and round will also be someone who's green.
If someone is cold and blue and nice then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and kind then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and round and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and nice and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Eric is cold.
True
1
proof
[(triple10)]
("Eric" "is" "cold" "+")
triple10
Alan is not rough.
False
1
inv-proof
[(triple1)]
("Alan" "is" "rough" "-")
triple1
Eric is nice.
True
3
proof
[(((triple11 triple9) -> rule2))]
("Eric" "is" "nice" "+")
((triple11 triple9) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is not nice.
False
3
inv-proof
[(((triple11 triple9) -> rule2))]
("Eric" "is" "nice" "-")
((triple11 triple9) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Charlie is green.
True
7
proof
[(((triple5 triple3 ((triple4 triple5 triple3) -> rule1)) -> rule5))]
("Charlie" "is" "green" "+")
((triple5 triple3 ((triple4 triple5 triple3) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Eric is not green.
False
6
inv-proof
[(((triple11 ((triple11 triple9) -> rule2) triple8) -> rule5) OR ((triple11 ((triple11 triple9) -> rule2) ((triple10 triple11 ((triple11 triple9) -> rule2)) -> rule1)) -> rule5))]
("Eric" "is" "green" "-")
((triple11 ((triple11 triple9) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
((triple11 ((triple11 triple9) -> (rule2 % int3)) ((triple10 triple11 ((triple11 triple9) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Charlie is red.
True
13
proof
[(((triple2 ((triple4 triple5 triple3) -> rule1) ((triple5 triple3 ((triple4 triple5 triple3) -> rule1)) -> rule5)) -> rule3))]
("Charlie" "is" "red" "+")
((triple2 ((triple4 triple5 triple3) -> (rule1 % int3)) ((triple5 triple3 ((triple4 triple5 triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is not red.
False
13
inv-proof
[(((triple2 ((triple4 triple5 triple3) -> rule1) ((triple5 triple3 ((triple4 triple5 triple3) -> rule1)) -> rule5)) -> rule3))]
("Charlie" "is" "red" "-")
((triple2 ((triple4 triple5 triple3) -> (rule1 % int3)) ((triple5 triple3 ((triple4 triple5 triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Alan is not blue.
Unknown
inv-rconc
[@2: Alan is blue.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Alan" "is" "blue" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "nice" "+")
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "red" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "round" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Alan is rough.[(triple1)] Charlie is blue.[(triple5)] Charlie is cold.[(triple4)] Charlie is nice.[(triple3)] Charlie is young.[(triple2)] Dave is red.[(triple7)] Dave is young.[(triple6)] Eric is blue.[(triple11)] Eric is cold.[(triple10)] Eric is kind.[(triple9)] Eric is round.[(triple8 OR ((triple10 triple11 ((triple11 triple9) -> rule2)) -> rule1))] @1: Charlie is round.[(((triple4 triple5 triple3) -> rule1))] Eric is nice.[(((triple11 triple9) -> rule2))] @2: Charlie is green.[(((triple5 triple3 ((triple4 triple5 triple3) -> rule1)) -> rule5))] Eric is green.[(((triple11 ((triple11 triple9) -> rule2) triple8) -> rule5) OR ((triple11 ((triple11 triple9) -> rule2) ((triple10 triple11 ((triple11 triple9) -> rule2)) -> rule1)) -> rule5))] @3: Charlie is red.[(((triple2 ((triple4 triple5 triple3) -> rule1) ((triple5 triple3 ((triple4 triple5 triple3) -> rule1)) -> rule5)) -> rule3))]
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
triple6
Eric is blue.
("Eric" "is" "blue" "+")
triple11
Eric is cold.
("Eric" "is" "cold" "+")
triple10
Eric is kind.
("Eric" "is" "kind" "+")
triple9
Eric is round.
("Eric" "is" "round" "+")
triple8
((triple10 triple11 ((triple11 triple9) -> (rule2 % int2))) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((triple4 triple5 triple3) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple11 triple9) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple5 triple3 ((triple4 triple5 triple3) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((triple11 ((triple11 triple9) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
((triple11 ((triple11 triple9) -> (rule2 % int3)) ((triple10 triple11 ((triple11 triple9) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
((triple2 ((triple4 triple5 triple3) -> (rule1 % int3)) ((triple5 triple3 ((triple4 triple5 triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
They always call him rough Alan.
Charlie is young and nice, but when he's feeling blue, he can also be quite cold to people.
Young Dave got into a fight that left him with red sores on his face.
Eric is a round fellow, but he is kind, even when he is so cold he turns blue.
A person that is cold, blue and nice is also considered to be round.
Blue kind people are almost always nice to others.
A young round person who is green is also red.
If a nice person is round shaped, they feel blue about it.
Someone who's blue, nice and round will also be someone who's green.