From a certain angle Alan is blue but he is young so maybe that will go away. Charlie's skin turned blue and green in a lab accident.  Despite his outward appearance, he is really nice. Fred is a nice person who is red because he has a rash. Young Gary is kind and perpetually cold, especially during the winter holidays when he is green and red. Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others. All the big and young boys at the park are red. When you know someone who's red, rough and nice, you'll also see that they're cold. There are so many rough, young people and for some reason they are all big too. A person that is rough and round shaped features are going to be red. Young people are rough. Big kind people are usually cold.
Alan is young.
("Alan" "is" "young" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is rough and big and nice then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and young then they are red.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and red and rough then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is round and rough then they are red.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and big then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Charlie is green.
True
1
proof
[(triple4)]
("Charlie" "is" "green" "+")
triple4
Fred is not red.
False
1
inv-proof
[(triple6)]
("Fred" "is" "red" "-")
triple6
Gary is rough.
True
2
proof
[(((triple8) -> rule6))]
("Gary" "is" "rough" "+")
((triple8) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not rough.
False
2
inv-proof
[(((triple8) -> rule6))]
("Gary" "is" "rough" "-")
((triple8) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Alan is big.
True
4
proof
[(((triple1 ((triple1) -> rule6)) -> rule4))]
("Alan" "is" "big" "+")
((triple1 ((triple1) -> (rule6 % int2))) -> (rule4 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is not big.
False
4
inv-proof
[(((triple1 ((triple1) -> rule6)) -> rule4))]
("Alan" "is" "big" "-")
((triple1 ((triple1) -> (rule6 % int2))) -> (rule4 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is red.
True
6
proof
[(((((triple1 ((triple1) -> rule6)) -> rule4) triple1) -> rule2))]
("Alan" "is" "red" "+")
((((triple1 ((triple1) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is not red.
False
6
inv-proof
[(((((triple1 ((triple1) -> rule6)) -> rule4) triple1) -> rule2))]
("Alan" "is" "red" "-")
((((triple1 ((triple1) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Fred is not big.
Unknown
inv-rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "big" "-")
Alan is cold.
Unknown
rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "cold" "+")
Fred is not cold.
Unknown
inv-rconc
[@2: Fred is cold.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Fred" "is" "cold" "-")
Charlie is cold.
Unknown
rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Charlie" "is" "cold" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Alan is blue.[(triple2)] Alan is young.[(triple1)] Charlie is blue.[(triple5)] Charlie is green.[(triple4)] Charlie is nice.[(triple3)] Fred is nice.[(triple7)] Fred is red.[(triple6)] Gary is cold.[(triple12 OR ((triple10 ((triple8 ((triple8) -> rule6)) -> rule4)) -> rule7))] Gary is green.[(triple11)] Gary is kind.[(triple10)] Gary is red.[(triple9 OR ((((triple8 ((triple8) -> rule6)) -> rule4) triple8) -> rule2))] Gary is young.[(triple8)] @1: Alan is rough.[(((triple1) -> rule6))] Gary is rough.[(((triple8) -> rule6))] @2: Alan is big.[(((triple1 ((triple1) -> rule6)) -> rule4))] Gary is big.[(((triple8 ((triple8) -> rule6)) -> rule4))] @3: Alan is red.[(((((triple1 ((triple1) -> rule6)) -> rule4) triple1) -> rule2))]
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Fred is nice.
("Fred" "is" "nice" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple12
((triple10 ((triple8 ((triple8) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
((((triple8 ((triple8) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
triple8
Alan is rough.
("Alan" "is" "rough" "+")
((triple1) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple8) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
((triple1 ((triple1) -> (rule6 % int2))) -> (rule4 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((triple8 ((triple8) -> (rule6 % int2))) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
((((triple1 ((triple1) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
From a certain angle Alan is blue but he is young so maybe that will go away.
Charlie's skin turned blue and green in a lab accident; Despite his outward appearance, he is really nice.
Fred is a nice person who is red because he has a rash.
Young Gary is kind and perpetually cold, especially during the winter holidays when he is green and red.
Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others.
All the big and young boys at the park are red.
When you know someone who's red, rough and nice, you'll also see that they're cold.
There are so many rough, young people and for some reason they are all big too.
A person that is rough and round shaped features are going to be red.
Young people are rough.
Big kind people are usually cold.