Alan is very nice to people, but he's also rather big. Charlie is blue and cold. Eric is big and round for being so young. He ate some spoiled food that has him feeling green. That Harry is a round, rough fellow, and he's nice, as well as big. A big person who also feels blue and a bit green are usually wearing red. You will probably see that red, round people are nice, as well as green. Young people who are feeling green and cold are kind. Big and round people can't help but be cold all of the time. Someone blue and red is definitely round and dressed as a clown. If a nice person is round shaped, they feel blue about it. Someone who is big and kind is blue.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is big and blue and green then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is round and red and nice then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is young and green and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and big then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Eric is young.
True
1
proof
[(triple5)]
("Eric" "is" "young" "+")
triple5
Harry is not round.
False
1
inv-proof
[(triple9)]
("Harry" "is" "round" "-")
triple9
Harry is cold.
True
3
proof
[(((triple12 triple9) -> rule4))]
("Harry" "is" "cold" "+")
((triple12 triple9) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not blue.
False
3
inv-proof
[(((triple11 triple9) -> rule6))]
("Harry" "is" "blue" "-")
((triple11 triple9) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Eric is kind.
True
6
proof
[(((triple5 triple7 ((triple8 triple6) -> rule4)) -> rule3))]
("Eric" "is" "kind" "+")
((triple5 triple7 ((triple8 triple6) -> (rule4 % int2))) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is not kind.
False
6
inv-proof
[(((triple5 triple7 ((triple8 triple6) -> rule4)) -> rule3))]
("Eric" "is" "kind" "-")
((triple5 triple7 ((triple8 triple6) -> (rule4 % int2))) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is blue.
True
8
proof
[(((((triple5 triple7 ((triple8 triple6) -> rule4)) -> rule3) triple8) -> rule7))]
("Eric" "is" "blue" "+")
((((triple5 triple7 ((triple8 triple6) -> (rule4 % int3))) -> (rule3 % int2)) triple8) -> (rule7 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is not blue.
False
8
inv-proof
[(((((triple5 triple7 ((triple8 triple6) -> rule4)) -> rule3) triple8) -> rule7))]
("Eric" "is" "blue" "-")
((((triple5 triple7 ((triple8 triple6) -> (rule4 % int3))) -> (rule3 % int2)) triple8) -> (rule7 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is red.
True
11
proof
[(((triple8 ((((triple5 triple7 ((triple8 triple6) -> rule4)) -> rule3) triple8) -> rule7) triple7) -> rule1))]
("Eric" "is" "red" "+")
((triple8 ((((triple5 triple7 ((triple8 triple6) -> (rule4 % int4))) -> (rule3 % int3)) triple8) -> (rule7 % int2)) triple7) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
int4
Eric is not red.
False
11
inv-proof
[(((triple8 ((((triple5 triple7 ((triple8 triple6) -> rule4)) -> rule3) triple8) -> rule7) triple7) -> rule1))]
("Eric" "is" "red" "-")
((triple8 ((((triple5 triple7 ((triple8 triple6) -> (rule4 % int4))) -> (rule3 % int3)) triple8) -> (rule7 % int2)) triple7) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
int4
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "kind" "-")
Harry is green.
Unknown
rconc
[@2: Harry is green.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Harry" "is" "green" "+")
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "red" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "green" "+")
Alan is not cold.
Unknown
inv-rconc
[@4: Alan is cold.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule7 <- rule3 <- FAIL)]]
("Alan" "is" "cold" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Alan is big.[(triple2)] Alan is nice.[(triple1)] Charlie is blue.[(triple4)] Charlie is cold.[(triple3)] Eric is big.[(triple8)] Eric is green.[(triple7)] Eric is round.[(triple6)] Eric is young.[(triple5)] Harry is big.[(triple12)] Harry is nice.[(triple11)] Harry is rough.[(triple10)] Harry is round.[(triple9)] @1: Eric is cold.[(((triple8 triple6) -> rule4))] Harry is blue.[(((triple11 triple9) -> rule6))] Harry is cold.[(((triple12 triple9) -> rule4))] @2: Eric is kind.[(((triple5 triple7 ((triple8 triple6) -> rule4)) -> rule3))] @3: Eric is blue.[(((((triple5 triple7 ((triple8 triple6) -> rule4)) -> rule3) triple8) -> rule7))] @4: Eric is red.[(((triple8 ((((triple5 triple7 ((triple8 triple6) -> rule4)) -> rule3) triple8) -> rule7) triple7) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Eric is big.
("Eric" "is" "big" "+")
triple8
Eric is green.
("Eric" "is" "green" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple6
Eric is young.
("Eric" "is" "young" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Eric is cold.
("Eric" "is" "cold" "+")
((triple8 triple6) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple11 triple9) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple12 triple9) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple5 triple7 ((triple8 triple6) -> (rule4 % int2))) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
((((triple5 triple7 ((triple8 triple6) -> (rule4 % int3))) -> (rule3 % int2)) triple8) -> (rule7 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
((triple8 ((((triple5 triple7 ((triple8 triple6) -> (rule4 % int4))) -> (rule3 % int3)) triple8) -> (rule7 % int2)) triple7) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
int4
Alan is very nice to people, but he's also rather big.
Charlie is blue and cold.
Eric is big and round for being so young; He ate some spoiled food that has him feeling green.
That Harry is a round, rough fellow, and he's nice, as well as big.
A big person who also feels blue and a bit green are usually wearing red.
You will probably see that red, round people are nice, as well as green.
Young people who are feeling green and cold are kind.
Big and round people can't help but be cold all of the time.
Someone blue and red is definitely round and dressed as a clown.
If a nice person is round shaped, they feel blue about it.
Someone who is big and kind is blue.