Alan is nice, even when he is rough and red with anger. Charlie is big and tends to wear red shirts. I know Eric really well and you can say he is rough on the outside, cold on the inside and red all of the time. Fred is young, but very kind to others. Fred is big, with round features. A green, downhearted, and blue person with red cheeks is big. If a kind person is also young and round shaped, they will be colored blue. A young round person who is green is also red. A round shaped and rough person will be blue as well. It's easy to be round and blue when you are young. A big blue someone could also be green.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is blue and red and green then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
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 round and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and round then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and blue then they are young.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
Alan is rough.
True
1
proof
[(triple1)]
("Alan" "is" "rough" "+")
triple1
Fred is not young.
False
1
inv-proof
[(triple9)]
("Fred" "is" "young" "-")
triple9
Fred is blue.
True
4
proof
[(((triple11 triple9 triple10) -> rule2))]
("Fred" "is" "blue" "+")
((triple11 triple9 triple10) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is not blue.
False
4
inv-proof
[(((triple11 triple9 triple10) -> rule2))]
("Fred" "is" "blue" "-")
((triple11 triple9 triple10) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is green.
True
6
proof
[(((((triple11 triple9 triple10) -> rule2) triple12) -> rule6))]
("Fred" "is" "green" "+")
((((triple11 triple9 triple10) -> (rule2 % int2)) triple12) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is not green.
False
6
inv-proof
[(((((triple11 triple9 triple10) -> rule2) triple12) -> rule6))]
("Fred" "is" "green" "-")
((((triple11 triple9 triple10) -> (rule2 % int2)) triple12) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is red.
True
9
proof
[(((triple9 triple10 ((((triple11 triple9 triple10) -> rule2) triple12) -> rule6)) -> rule3))]
("Fred" "is" "red" "+")
((triple9 triple10 ((((triple11 triple9 triple10) -> (rule2 % int3)) triple12) -> (rule6 % int2))) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is not red.
False
9
inv-proof
[(((triple9 triple10 ((((triple11 triple9 triple10) -> rule2) triple12) -> rule6)) -> rule3))]
("Fred" "is" "red" "-")
((triple9 triple10 ((((triple11 triple9 triple10) -> (rule2 % int3)) triple12) -> (rule6 % int2))) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Alan is not big.
Unknown
inv-rconc
[@2: Alan is big.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Alan" "is" "big" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "blue" "+")
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "young" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "young" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
@0: Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Charlie is big.[(triple5)] Charlie is red.[(triple4)] Eric is cold.[(triple8)] Eric is red.[(triple7)] Eric is rough.[(triple6)] Fred is big.[(triple12)] Fred is kind.[(triple11)] Fred is round.[(triple10)] Fred is young.[(triple9)] @1: Fred is blue.[(((triple11 triple9 triple10) -> rule2))] @2: Fred is green.[(((((triple11 triple9 triple10) -> rule2) triple12) -> rule6))] @3: Fred is red.[(((triple9 triple10 ((((triple11 triple9 triple10) -> rule2) triple12) -> rule6)) -> rule3))]
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Eric is cold.
("Eric" "is" "cold" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Fred is big.
("Fred" "is" "big" "+")
triple12
Fred is kind.
("Fred" "is" "kind" "+")
triple11
Fred is round.
("Fred" "is" "round" "+")
triple10
Fred is young.
("Fred" "is" "young" "+")
triple9
Fred is blue.
("Fred" "is" "blue" "+")
((triple11 triple9 triple10) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((((triple11 triple9 triple10) -> (rule2 % int2)) triple12) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
((triple9 triple10 ((((triple11 triple9 triple10) -> (rule2 % int3)) triple12) -> (rule6 % int2))) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Alan is nice, even when he is rough and red with anger.
Charlie is big and tends to wear red shirts.
I know Eric really well and you can say he is rough on the outside, cold on the inside and red all of the time.
Fred is young, but very kind to others; Fred is big, with round features.
A green, downhearted, and blue person with red cheeks is big.
If a kind person is also young and round shaped, they will be colored blue.
A young round person who is green is also red.
A round shaped and rough person will be blue as well.
It's easy to be round and blue when you are young.
A big blue someone could also be green.