Young Eric got into a fight that left him with red sores on his face. Fred is a kind and red colored guy. Most people see Gary as round, albeit nice and big at the same time. Harry is known to be rough and green. People who are rough, round in shape, and big in stature are usuallu blue in color. A nice green person that tends to be rough will indeed be round too. Rough people, round from over eating, who are also cold are young and don't mind the draft. If a big person is cold and nice, then they are green. Green people here that are also round and nice are always rough. Julie is really nice to gardeners since she has a green thumb. Nice people who are looking green and seeing red usually feel rather rough.
Eric is young.
("Eric" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is rough and round and big then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and nice and rough then they are round.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is round and cold and rough then they are young.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and big and nice then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and round and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and green and red then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Gary is big.
True
1
proof
[(triple7)]
("Gary" "is" "big" "+")
triple7
Gary is not big.
False
1
inv-proof
[(triple7)]
("Gary" "is" "big" "-")
triple7
Gary is green.
True
2
proof
[(((triple6) -> rule6))]
("Gary" "is" "green" "+")
((triple6) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
2
inv-proof
[(((triple6) -> rule6))]
("Gary" "is" "green" "-")
((triple6) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
True
5
proof
[(((triple6 triple5 ((triple6) -> rule6)) -> rule5))]
("Gary" "is" "rough" "+")
((triple6 triple5 ((triple6) -> (rule6 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is not rough.
False
5
inv-proof
[(((triple6 triple5 ((triple6) -> rule6)) -> rule5))]
("Gary" "is" "rough" "-")
((triple6 triple5 ((triple6) -> (rule6 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
True
8
proof
[(((((triple6 triple5 ((triple6) -> rule6)) -> rule5) triple5 triple7) -> rule1))]
("Gary" "is" "blue" "+")
((((triple6 triple5 ((triple6) -> (rule6 % int3))) -> (rule5 % int2)) triple5 triple7) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is not blue.
False
8
inv-proof
[(((((triple6 triple5 ((triple6) -> rule6)) -> rule5) triple5 triple7) -> rule1))]
("Gary" "is" "blue" "-")
((((triple6 triple5 ((triple6) -> (rule6 % int3))) -> (rule5 % int2)) triple5 triple7) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Eric is not rough.
Unknown
inv-rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "rough" "-")
Fred is young.
Unknown
rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "young" "+")
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "blue" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "round" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
@0: Eric is red.[(triple2)] Eric is young.[(triple1)] Fred is kind.[(triple4)] Fred is red.[(triple3)] Gary is big.[(triple7)] Gary is nice.[(triple6)] Gary is round.[(triple5)] Harry is green.[(triple9)] Harry is rough.[(triple8)] @1: Gary is green.[(((triple6) -> rule6))] @2: Gary is rough.[(((triple6 triple5 ((triple6) -> rule6)) -> rule5))] @3: Gary is blue.[(((((triple6 triple5 ((triple6) -> rule6)) -> rule5) triple5 triple7) -> rule1))]
Eric is red.
("Eric" "is" "red" "+")
triple2
Eric is young.
("Eric" "is" "young" "+")
triple1
Fred is kind.
("Fred" "is" "kind" "+")
triple4
Fred is red.
("Fred" "is" "red" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
((triple6) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple6 triple5 ((triple6) -> (rule6 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((((triple6 triple5 ((triple6) -> (rule6 % int3))) -> (rule5 % int2)) triple5 triple7) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Young Eric got into a fight that left him with red sores on his face.
Fred is a kind and red colored guy.
Most people see Gary as round, albeit nice and big at the same time.
Harry is known to be rough and green.
People who are rough, round in shape, and big in stature are usuallu blue in color.
A nice green person that tends to be rough will indeed be round too.
Rough people, round from over eating, who are also cold are young and don't mind the draft.
If a big person is cold and nice, then they are green.
Green people here that are also round and nice are always rough.
Julie is really nice to gardeners since she has a green thumb.
Nice people who are looking green and seeing red usually feel rather rough.