Alan 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. When you see Dave, you will notice he is cold, big and kind. Fred is young, rough and green, but he is also kind and is red when embarrassed. Gary wears all blue. Pick someone blue, kind and big, and they are certain to be green as well. A human that's cold also means they are a human that is young. Young people green with envy are so focused on themselves that they are often describe as cold. That is misleading though because these people are also kind. Color anybody red and blue, then make them rough, and they will surely be round. A kind, young human will also be a blue human.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is blue and kind and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is green and cold and young then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and rough and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and young then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Alan is rough.
True
1
proof
[(triple1)]
("Alan" "is" "rough" "+")
triple1
Fred is not rough.
False
1
inv-proof
[(triple7)]
("Fred" "is" "rough" "-")
triple7
Fred is blue.
True
3
proof
[(((triple9 triple6) -> rule5))]
("Fred" "is" "blue" "+")
((triple9 triple6) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is not blue.
False
3
inv-proof
[(((triple9 triple6) -> rule5))]
("Fred" "is" "blue" "-")
((triple9 triple6) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is round.
True
6
proof
[(((((triple9 triple6) -> rule5) triple7 triple8) -> rule4))]
("Fred" "is" "round" "+")
((((triple9 triple6) -> (rule5 % int2)) triple7 triple8) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is not round.
False
6
inv-proof
[(((((triple9 triple6) -> rule5) triple7 triple8) -> rule4))]
("Fred" "is" "round" "-")
((((triple9 triple6) -> (rule5 % int2)) triple7 triple8) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Dave is green.
True
7
proof
[(((((triple3 ((triple4) -> rule2)) -> rule5) triple3 triple5) -> rule1))]
("Dave" "is" "green" "+")
((((triple3 ((triple4) -> (rule2 % int3))) -> (rule5 % int2)) triple3 triple5) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is not green.
False
7
inv-proof
[(((((triple3 ((triple4) -> rule2)) -> rule5) triple3 triple5) -> rule1))]
("Dave" "is" "green" "-")
((((triple3 ((triple4) -> (rule2 % int3))) -> (rule5 % int2)) triple3 triple5) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "round" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "young" "+")
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "round" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "kind" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
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 rough.[(triple1)] Dave is big.[(triple5)] Dave is cold.[(triple4)] Dave is kind.[(triple3)] Fred is green.[(triple10)] Fred is kind.[(triple9)] Fred is red.[(triple8)] Fred is rough.[(triple7)] Fred is young.[(triple6)] Gary is blue.[(triple11)] @1: Dave is young.[(((triple4) -> rule2))] Fred is blue.[(((triple9 triple6) -> rule5))] @2: Dave is blue.[(((triple3 ((triple4) -> rule2)) -> rule5))] Fred is round.[(((((triple9 triple6) -> rule5) triple7 triple8) -> rule4))] @3: Dave is green.[(((((triple3 ((triple4) -> rule2)) -> rule5) triple3 triple5) -> rule1))]
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Fred is green.
("Fred" "is" "green" "+")
triple10
Fred is kind.
("Fred" "is" "kind" "+")
triple9
Fred is red.
("Fred" "is" "red" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Dave is young.
("Dave" "is" "young" "+")
((triple4) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple9 triple6) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple3 ((triple4) -> (rule2 % int2))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((((triple9 triple6) -> (rule5 % int2)) triple7 triple8) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((((triple3 ((triple4) -> (rule2 % int3))) -> (rule5 % int2)) triple3 triple5) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Alan 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.
When you see Dave, you will notice he is cold, big and kind.
Fred is young, rough and green, but he is also kind and is red when embarrassed.
Gary wears all blue.
Pick someone blue, kind and big, and they are certain to be green as well.
A human that's cold also means they are a human that is young.
Young people green with envy are so focused on themselves that they are often describe as cold; That is misleading though because these people are also kind.
Color anybody red and blue, then make them rough, and they will surely be round.
A kind, young human will also be a blue human.