Dave was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. Eric is fat; so he appears big and round.  Eric is also nice and kind to everyone that he meets. Fred is big and rough looking but is very nice and kind. It seems to be that a person who is green, red, and blue will be very big. Young and rough green people, have no choice but to be red. Anyone that is nice and kind and also green will usually be young as well. Most green and round people,though big are quite young. Among cold people, those who are round and kind are also rough. Julie is really nice to gardeners since she has a green thumb.
Dave is round.
("Dave" "is" "round" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is red and blue and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is young and rough and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is green and nice and kind then they are young.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
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 cold and round and kind then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Fred is rough.
True
1
proof
[(triple8)]
("Fred" "is" "rough" "+")
triple8
Fred is not nice.
False
1
inv-proof
[(triple9)]
("Fred" "is" "nice" "-")
triple9
Eric is green.
True
2
proof
[(((triple5) -> rule6))]
("Eric" "is" "green" "+")
((triple5) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Fred is not green.
False
2
inv-proof
[(((triple9) -> rule6))]
("Fred" "is" "green" "-")
((triple9) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Eric is young.
True
5
proof
[(((((triple5) -> rule6) triple4 triple7) -> rule4) OR ((((triple5) -> rule6) triple5 triple6) -> rule3))]
("Eric" "is" "young" "+")
((((triple5) -> (rule6 % int2)) triple4 triple7) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
((((triple5) -> (rule6 % int2)) triple5 triple6) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Fred is not young.
False
5
inv-proof
[(((((triple9) -> rule6) triple9 triple10) -> rule3))]
("Fred" "is" "young" "-")
((((triple9) -> (rule6 % int2)) triple9 triple10) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is red.
True
9
proof
[(((((((triple9) -> rule6) triple9 triple10) -> rule3) triple8 ((triple9) -> rule6)) -> rule2))]
("Fred" "is" "red" "+")
((((((triple9) -> (rule6 % int3)) triple9 triple10) -> (rule3 % int2)) triple8 ((triple9) -> (rule6 % int3))) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is not red.
False
9
inv-proof
[(((((((triple9) -> rule6) triple9 triple10) -> rule3) triple8 ((triple9) -> rule6)) -> rule2))]
("Fred" "is" "red" "-")
((((((triple9) -> (rule6 % int3)) triple9 triple10) -> (rule3 % int2)) triple8 ((triple9) -> (rule6 % int3))) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Eric is not red.
Unknown
inv-rconc
[@2: Eric is red.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Eric" "is" "red" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "young" "+")
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "rough" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "rough" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Dave is blue.[(triple3)] Dave is green.[(triple2)] Dave is round.[(triple1)] Eric is big.[(triple7)] Eric is kind.[(triple6)] Eric is nice.[(triple5)] Eric is round.[(triple4)] Fred is big.[(triple11)] Fred is kind.[(triple10)] Fred is nice.[(triple9)] Fred is rough.[(triple8)] @1: Eric is green.[(((triple5) -> rule6))] Fred is green.[(((triple9) -> rule6))] @2: Eric is young.[(((((triple5) -> rule6) triple4 triple7) -> rule4) OR ((((triple5) -> rule6) triple5 triple6) -> rule3))] Fred is young.[(((((triple9) -> rule6) triple9 triple10) -> rule3))] @3: Fred is red.[(((((((triple9) -> rule6) triple9 triple10) -> rule3) triple8 ((triple9) -> rule6)) -> rule2))]
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Eric is nice.
("Eric" "is" "nice" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Fred is big.
("Fred" "is" "big" "+")
triple11
Fred is kind.
("Fred" "is" "kind" "+")
triple10
Fred is nice.
("Fred" "is" "nice" "+")
triple9
Fred is rough.
("Fred" "is" "rough" "+")
triple8
Eric is green.
("Eric" "is" "green" "+")
((triple5) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((triple9) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((((triple5) -> (rule6 % int2)) triple4 triple7) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
((((triple5) -> (rule6 % int2)) triple5 triple6) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((((triple9) -> (rule6 % int2)) triple9 triple10) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
((((((triple9) -> (rule6 % int3)) triple9 triple10) -> (rule3 % int2)) triple8 ((triple9) -> (rule6 % int3))) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Dave was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure.
Eric is fat; so he appears big and round; Eric is also nice and kind to everyone that he meets.
Fred is big and rough looking but is very nice and kind.
It seems to be that a person who is green, red, and blue will be very big.
Young and rough green people, have no choice but to be red.
Anyone that is nice and kind and also green will usually be young as well.
Most green and round people,though big are quite young.
Among cold people, those who are round and kind are also rough.
Julie is really nice to gardeners since she has a green thumb.