Bob is young and green round guy, and that keeps him from being cold.  He has stayed kind. Charlie wears all blue. Dave is a man who is both round and rough. Fred is known to be rough and green. Kind big people are green and young. Any rather round person exposed to weather that leaves them red and cold will feel blue. Anyone you find who happens to be kind and blue will also be very nice. When you meet someone that's rough, kind and nice you'll see they are green as well. Most green and round people,though big are quite young. A round person will also be red.
If someone is kind and green and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is round and red and cold then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and blue then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and kind and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is green and round and big then they are young.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is round then they are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Fred is green.
True
1
proof
[(triple10)]
("Fred" "is" "green" "+")
triple10
Bob is not green.
False
1
inv-proof
[(triple4)]
("Bob" "is" "green" "-")
triple4
Bob is red.
True
2
proof
[(((triple2) -> rule6))]
("Bob" "is" "red" "+")
((triple2) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not red.
False
2
inv-proof
[(((triple2) -> rule6))]
("Bob" "is" "red" "-")
((triple2) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is blue.
True
5
proof
[(((triple2 ((triple2) -> rule6) triple5) -> rule2))]
("Bob" "is" "blue" "+")
((triple2 ((triple2) -> (rule6 % int2)) triple5) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is not blue.
False
5
inv-proof
[(((triple2 ((triple2) -> rule6) triple5) -> rule2))]
("Bob" "is" "blue" "-")
((triple2 ((triple2) -> (rule6 % int2)) triple5) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
True
7
proof
[(((triple3 ((triple2 ((triple2) -> rule6) triple5) -> rule2)) -> rule3))]
("Bob" "is" "nice" "+")
((triple3 ((triple2 ((triple2) -> (rule6 % int3)) triple5) -> (rule2 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is not nice.
False
7
inv-proof
[(((triple3 ((triple2 ((triple2) -> rule6) triple5) -> rule2)) -> rule3))]
("Bob" "is" "nice" "-")
((triple3 ((triple2 ((triple2) -> (rule6 % int3)) triple5) -> (rule2 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "green" "+")
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "young" "-")
Dave is blue.
Unknown
rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "blue" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
@0: Bob is cold.[(triple5)] Bob is green.[(triple4)] Bob is kind.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1)] Charlie is blue.[(triple6)] Dave is rough.[(triple8)] Dave is round.[(triple7)] Fred is green.[(triple10)] Fred is rough.[(triple9)] @1: Bob is red.[(((triple2) -> rule6))] Dave is red.[(((triple7) -> rule6))] @2: Bob is blue.[(((triple2 ((triple2) -> rule6) triple5) -> rule2))] @3: Bob is nice.[(((triple3 ((triple2 ((triple2) -> rule6) triple5) -> rule2)) -> rule3))]
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple7
Fred is green.
("Fred" "is" "green" "+")
triple10
Fred is rough.
("Fred" "is" "rough" "+")
triple9
Bob is red.
("Bob" "is" "red" "+")
((triple2) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple7) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((triple2 ((triple2) -> (rule6 % int2)) triple5) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((triple3 ((triple2 ((triple2) -> (rule6 % int3)) triple5) -> (rule2 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is young and green round guy, and that keeps him from being cold; He has stayed kind.
Charlie wears all blue.
Dave is a man who is both round and rough.
Fred is known to be rough and green.
Kind big people are green and young.
Any rather round person exposed to weather that leaves them red and cold will feel blue.
Anyone you find who happens to be kind and blue will also be very nice.
When you meet someone that's rough, kind and nice you'll see they are green as well.
Most green and round people,though big are quite young.
A round person will also be red.