Alan wears all blue. Even though Fred is still young, he is already very round.  Fred is a nice guy and when he gets cold his skin turns blue. Gary grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. Young people with red skin who are a bit downhearted and blue are kind. A depressed person feeling blue who is kind cannot escape from being green. It's inevitable that young, green people are big. Green people here that are also round and nice are always rough. You will discover that green rough people are always red. If you color the young ones blue then they will be kind. Blue, kind, and cold people are habitually rough.
Alan is blue.
("Alan" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is young and blue and red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and kind then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is young and green then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and round and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and rough then they are red.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and kind and cold then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
Fred is cold.
True
1
proof
[(triple5)]
("Fred" "is" "cold" "+")
triple5
Fred is not nice.
False
1
inv-proof
[(triple4)]
("Fred" "is" "nice" "-")
triple4
Fred is kind.
True
3
proof
[(((triple6 triple2) -> rule6))]
("Fred" "is" "kind" "+")
((triple6 triple2) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is not kind.
False
3
inv-proof
[(((triple6 triple2) -> rule6))]
("Fred" "is" "kind" "-")
((triple6 triple2) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is green.
True
5
proof
[(((triple6 ((triple6 triple2) -> rule6)) -> rule2))]
("Fred" "is" "green" "+")
((triple6 ((triple6 triple2) -> (rule6 % int2))) -> (rule2 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is not rough.
False
6
inv-proof
[(((triple6 ((triple6 triple2) -> rule6) triple5) -> rule7) OR ((triple4 triple3 ((triple6 ((triple6 triple2) -> rule6)) -> rule2)) -> rule4))]
("Fred" "is" "rough" "-")
((triple6 ((triple6 triple2) -> (rule6 % int2)) triple5) -> (rule7 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
((triple4 triple3 ((triple6 ((triple6 triple2) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is big.
True
7
proof
[(((triple2 ((triple6 ((triple6 triple2) -> rule6)) -> rule2)) -> rule3))]
("Fred" "is" "big" "+")
((triple2 ((triple6 ((triple6 triple2) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is not big.
False
7
inv-proof
[(((triple2 ((triple6 ((triple6 triple2) -> rule6)) -> rule2)) -> rule3))]
("Fred" "is" "big" "-")
((triple2 ((triple6 ((triple6 triple2) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Alan is not kind.
Unknown
inv-rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "kind" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "big" "+")
Eric is not kind.
Unknown
inv-rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "kind" "-")
Eric is rough.
Unknown
rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "rough" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Alan is blue.[(triple1)] Fred is blue.[(triple6)] Fred is cold.[(triple5)] Fred is nice.[(triple4)] Fred is round.[(triple3)] Fred is young.[(triple2)] Gary is blue.[(triple8)] Gary is rough.[(triple7)] @1: Fred is kind.[(((triple6 triple2) -> rule6))] @2: Fred is green.[(((triple6 ((triple6 triple2) -> rule6)) -> rule2))] Fred is rough.[(((triple6 ((triple6 triple2) -> rule6) triple5) -> rule7) OR ((triple4 triple3 ((triple6 ((triple6 triple2) -> rule6)) -> rule2)) -> rule4))] @3: Fred is big.[(((triple2 ((triple6 ((triple6 triple2) -> rule6)) -> rule2)) -> rule3))] Fred is red.[(((((triple6 ((triple6 triple2) -> rule6)) -> rule2) ((triple6 ((triple6 triple2) -> rule6) triple5) -> rule7)) -> rule5) OR ((((triple6 ((triple6 triple2) -> rule6)) -> rule2) ((triple4 triple3 ((triple6 ((triple6 triple2) -> rule6)) -> rule2)) -> rule4)) -> rule5))]
Alan is blue.
("Alan" "is" "blue" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple6
Fred is cold.
("Fred" "is" "cold" "+")
triple5
Fred is nice.
("Fred" "is" "nice" "+")
triple4
Fred is round.
("Fred" "is" "round" "+")
triple3
Fred is young.
("Fred" "is" "young" "+")
triple2
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
((triple6 triple2) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((triple6 ((triple6 triple2) -> (rule6 % int2))) -> (rule2 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
((triple6 ((triple6 triple2) -> (rule6 % int2)) triple5) -> (rule7 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
((triple4 triple3 ((triple6 ((triple6 triple2) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
((triple2 ((triple6 ((triple6 triple2) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
((((triple6 ((triple6 triple2) -> (rule6 % int4))) -> (rule2 % int3)) ((triple6 ((triple6 triple2) -> (rule6 % int4)) triple5) -> (rule7 % int2))) -> (rule5 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
((((triple6 ((triple6 triple2) -> (rule6 % int4))) -> (rule2 % int3)) ((triple4 triple3 ((triple6 ((triple6 triple2) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
Alan wears all blue.
Even though Fred is still young, he is already very round; Fred is a nice guy and when he gets cold his skin turns blue.
Gary grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
Young people with red skin who are a bit downhearted and blue are kind.
A depressed person feeling blue who is kind cannot escape from being green.
It's inevitable that young, green people are big.
Green people here that are also round and nice are always rough.
You will discover that green rough people are always red.
If you color the young ones blue then they will be kind.
Blue, kind, and cold people are habitually rough.