Alan is big and rough, but he is also green, and is nice and kind when you want him to be. To the touch Charlie has rough, cold skin. I know Dave really well and you can say he is rough on the outside, cold on the inside and red all of the time. Eric wears all blue. When you meet someone round, blue and nice they are as a rule rough. A kind, round person will surely be red as well. When someone is nice, dressing in red, they can be blue because they are cold. Big people that have a rough demeanor usually feel blue. A very nice and kind person will also be round shaped. Most kind and cold people are also big.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
If someone is blue and nice and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and round then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and blue and red then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and rough then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and kind then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Charlie is rough.
True
1
proof
[(triple6)]
("Charlie" "is" "rough" "+")
triple6
Alan is not green.
False
1
inv-proof
[(triple4)]
("Alan" "is" "green" "-")
triple4
Alan is blue.
True
3
proof
[(((triple5 triple1) -> rule4))]
("Alan" "is" "blue" "+")
((triple5 triple1) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is not blue.
False
3
inv-proof
[(((triple5 triple1) -> rule4))]
("Alan" "is" "blue" "-")
((triple5 triple1) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is red.
True
5
proof
[(((triple3 ((triple2 triple3) -> rule5)) -> rule2))]
("Alan" "is" "red" "+")
((triple3 ((triple2 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is not red.
False
5
inv-proof
[(((triple3 ((triple2 triple3) -> rule5)) -> rule2))]
("Alan" "is" "red" "-")
((triple3 ((triple2 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is cold.
True
10
proof
[(((triple2 ((triple5 triple1) -> rule4) ((triple3 ((triple2 triple3) -> rule5)) -> rule2)) -> rule3))]
("Alan" "is" "cold" "+")
((triple2 ((triple5 triple1) -> (rule4 % int4)) ((triple3 ((triple2 triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is not cold.
False
10
inv-proof
[(((triple2 ((triple5 triple1) -> rule4) ((triple3 ((triple2 triple3) -> rule5)) -> rule2)) -> rule3))]
("Alan" "is" "cold" "-")
((triple2 ((triple5 triple1) -> (rule4 % int4)) ((triple3 ((triple2 triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "round" "-")
Eric is rough.
Unknown
rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "rough" "+")
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "round" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "big" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
@0: Alan is big.[(triple5)] Alan is green.[(triple4)] Alan is kind.[(triple3)] Alan is nice.[(triple2)] Alan is rough.[(triple1)] Charlie is cold.[(triple7)] Charlie is rough.[(triple6)] Dave is cold.[(triple10)] Dave is red.[(triple9)] Dave is rough.[(triple8)] Eric is blue.[(triple11)] @1: Alan is blue.[(((triple5 triple1) -> rule4))] Alan is round.[(((triple2 triple3) -> rule5))] @2: Alan is red.[(((triple3 ((triple2 triple3) -> rule5)) -> rule2))] @3: Alan is cold.[(((triple2 ((triple5 triple1) -> rule4) ((triple3 ((triple2 triple3) -> rule5)) -> rule2)) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple5
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
triple10
Dave is red.
("Dave" "is" "red" "+")
triple9
Dave is rough.
("Dave" "is" "rough" "+")
triple8
Eric is blue.
("Eric" "is" "blue" "+")
triple11
Alan is blue.
("Alan" "is" "blue" "+")
((triple5 triple1) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
((triple2 triple3) -> (rule5 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
((triple3 ((triple2 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
((triple2 ((triple5 triple1) -> (rule4 % int4)) ((triple3 ((triple2 triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is big and rough, but he is also green, and is nice and kind when you want him to be.
To the touch Charlie has rough, cold skin.
I know Dave really well and you can say he is rough on the outside, cold on the inside and red all of the time.
Eric wears all blue.
When you meet someone round, blue and nice they are as a rule rough.
A kind, round person will surely be red as well.
When someone is nice, dressing in red, they can be blue because they are cold.
Big people that have a rough demeanor usually feel blue.
A very nice and kind person will also be round shaped.
Most kind and cold people are also big.