Alan, a round shaped individual is nice to others.  He is red and green. Red Bob is what folks call him, because he is quite red. Red Fred is what folks call him, because he is quite red. Gary, that young round kid, is kind whenever he's blue. A round shaped and rough person will be blue as well. A person that is blue green and nice are that way because they are still young. Find someone big, blue, and kind, and you'll see they are also quite young. If a person behaves in a nice way while they are physically blue and big, they're definitely round. Sam is usually kind but a blue person, but lately he has been both green with envy and red with anger. Nice people who are looking green and seeing red usually feel rather rough.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Fred is red.
("Fred" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is rough and round then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and green and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is big and blue and kind then they are young.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and blue and big then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is green and kind and blue then they are red.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and green and red then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Fred is red.
True
1
proof
[(triple6)]
("Fred" "is" "red" "+")
triple6
Alan is not green.
False
1
inv-proof
[(triple4)]
("Alan" "is" "green" "-")
triple4
Alan is rough.
True
4
proof
[(((triple3 triple4 triple2) -> rule6))]
("Alan" "is" "rough" "+")
((triple3 triple4 triple2) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is not rough.
False
4
inv-proof
[(((triple3 triple4 triple2) -> rule6))]
("Alan" "is" "rough" "-")
((triple3 triple4 triple2) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
True
6
proof
[(((((triple3 triple4 triple2) -> rule6) triple1) -> rule1))]
("Alan" "is" "blue" "+")
((((triple3 triple4 triple2) -> (rule6 % int2)) triple1) -> (rule1 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is not blue.
False
6
inv-proof
[(((((triple3 triple4 triple2) -> rule6) triple1) -> rule1))]
("Alan" "is" "blue" "-")
((((triple3 triple4 triple2) -> (rule6 % int2)) triple1) -> (rule1 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is young.
True
9
proof
[(((((((triple3 triple4 triple2) -> rule6) triple1) -> rule1) triple4 triple3) -> rule2))]
("Alan" "is" "young" "+")
((((((triple3 triple4 triple2) -> (rule6 % int3)) triple1) -> (rule1 % int2)) triple4 triple3) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is not young.
False
9
inv-proof
[(((((((triple3 triple4 triple2) -> rule6) triple1) -> rule1) triple4 triple3) -> rule2))]
("Alan" "is" "young" "-")
((((((triple3 triple4 triple2) -> (rule6 % int3)) triple1) -> (rule1 % int2)) triple4 triple3) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "rough" "-")
Fred is young.
Unknown
rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "young" "+")
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "red" "-")
Fred is blue.
Unknown
rconc
[@2: Fred is blue.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Fred" "is" "blue" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
@0: Alan is green.[(triple4)] Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Bob is red.[(triple5)] Fred is red.[(triple6)] Gary is blue.[(triple10)] Gary is kind.[(triple9)] Gary is round.[(triple8)] Gary is young.[(triple7)] @1: Alan is rough.[(((triple3 triple4 triple2) -> rule6))] @2: Alan is blue.[(((((triple3 triple4 triple2) -> rule6) triple1) -> rule1))] @3: Alan is young.[(((((((triple3 triple4 triple2) -> rule6) triple1) -> rule1) triple4 triple3) -> rule2))]
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple5
Fred is red.
("Fred" "is" "red" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple7
Alan is rough.
("Alan" "is" "rough" "+")
((triple3 triple4 triple2) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((((triple3 triple4 triple2) -> (rule6 % int2)) triple1) -> (rule1 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
((((((triple3 triple4 triple2) -> (rule6 % int3)) triple1) -> (rule1 % int2)) triple4 triple3) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan, a round shaped individual is nice to others; He is red and green.
Red Bob is what folks call him, because he is quite red.
Red Fred is what folks call him, because he is quite red.
Gary, that young round kid, is kind whenever he's blue.
A round shaped and rough person will be blue as well.
A person that is blue green and nice are that way because they are still young.
Find someone big, blue, and kind, and you'll see they are also quite young.
If a person behaves in a nice way while they are physically blue and big, they're definitely round.
Sam is usually kind but a blue person, but lately he has been both green with envy and red with anger.
Nice people who are looking green and seeing red usually feel rather rough.