My young friend Alan is quite big has rough skin with a green tinge.  He is feeling blue because his dog ran away. Charlie is blue from ink he spilled on himself while being kind and helping some children paint. From a certain angle Dave is blue but he is young so maybe that will go away. Fred is big and rough. A cold, rough person is also round. If someone has a red complexion that is rough and feels blue then you'll see they are rather nice. If you color the young ones blue then they will be kind. Being kind and young means that if they are also blue, they are always red.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is rough and cold then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is red and rough and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
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 young then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
Dave is blue.
True
1
proof
[(triple9)]
("Dave" "is" "blue" "+")
triple9
Dave is not blue.
False
1
inv-proof
[(triple9)]
("Dave" "is" "blue" "-")
triple9
Dave is kind.
True
3
proof
[(((triple9 triple8) -> rule3))]
("Dave" "is" "kind" "+")
((triple9 triple8) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Alan is not kind.
False
3
inv-proof
[(((triple4 triple1) -> rule3))]
("Alan" "is" "kind" "-")
((triple4 triple1) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is red.
True
6
proof
[(((triple4 ((triple4 triple1) -> rule3) triple1) -> rule4))]
("Alan" "is" "red" "+")
((triple4 ((triple4 triple1) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Dave is not red.
False
6
inv-proof
[(((triple9 ((triple9 triple8) -> rule3) triple8) -> rule4))]
("Dave" "is" "red" "-")
((triple9 ((triple9 triple8) -> (rule3 % int2)) triple8) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Alan is nice.
True
9
proof
[(((((triple4 ((triple4 triple1) -> rule3) triple1) -> rule4) triple2 triple4) -> rule2))]
("Alan" "is" "nice" "+")
((((triple4 ((triple4 triple1) -> (rule3 % int3)) triple1) -> (rule4 % int2)) triple2 triple4) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is not nice.
False
9
inv-proof
[(((((triple4 ((triple4 triple1) -> rule3) triple1) -> rule4) triple2 triple4) -> rule2))]
("Alan" "is" "nice" "-")
((((triple4 ((triple4 triple1) -> (rule3 % int3)) triple1) -> (rule4 % int2)) triple2 triple4) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "round" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "round" "+")
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "nice" "-")
Fred is round.
Unknown
rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "round" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Alan is big.[(triple5)] Alan is blue.[(triple4)] Alan is green.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Charlie is blue.[(triple7)] Charlie is kind.[(triple6)] Dave is blue.[(triple9)] Dave is young.[(triple8)] Fred is big.[(triple11)] Fred is rough.[(triple10)] @1: Alan is kind.[(((triple4 triple1) -> rule3))] Dave is kind.[(((triple9 triple8) -> rule3))] @2: Alan is red.[(((triple4 ((triple4 triple1) -> rule3) triple1) -> rule4))] Dave is red.[(((triple9 ((triple9 triple8) -> rule3) triple8) -> rule4))] @3: Alan is nice.[(((((triple4 ((triple4 triple1) -> rule3) triple1) -> rule4) triple2 triple4) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple5
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
triple9
Dave is young.
("Dave" "is" "young" "+")
triple8
Fred is big.
("Fred" "is" "big" "+")
triple11
Fred is rough.
("Fred" "is" "rough" "+")
triple10
Alan is kind.
("Alan" "is" "kind" "+")
((triple4 triple1) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((triple9 triple8) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
((triple4 ((triple4 triple1) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((triple9 ((triple9 triple8) -> (rule3 % int2)) triple8) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
((((triple4 ((triple4 triple1) -> (rule3 % int3)) triple1) -> (rule4 % int2)) triple2 triple4) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
My young friend Alan is quite big has rough skin with a green tinge; He is feeling blue because his dog ran away.
Charlie is blue from ink he spilled on himself while being kind and helping some children paint.
From a certain angle Dave is blue but he is young so maybe that will go away.
Fred is big and rough.
A cold, rough person is also round.
If someone has a red complexion that is rough and feels blue then you'll see they are rather nice.
If you color the young ones blue then they will be kind.
Being kind and young means that if they are also blue, they are always red.