Dave looks red to most people, with blue features. Young Eric is so nice even though he always feels cold.  He loves to wear blue and green clothes. Fred is known to be rough and green. Gary is nice and kind, but a little rough. I have found that blue, kind people are big. It's a fact that young people are red people. A nice and kind person who is big sized will be cold. Red haired people who are nice and kind are looked up to because they are always big. People,though rough and red,tend to be cold too. Big people are also round people. People who are cold and and red are also young and kind.
Dave is red.
("Dave" "is" "red" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is blue and kind then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and kind and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and nice and red then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is red and young and cold then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Gary is kind.
True
1
proof
[(triple12)]
("Gary" "is" "kind" "+")
triple12
Eric is not cold.
False
1
inv-proof
[(triple6)]
("Eric" "is" "cold" "-")
triple6
Eric is red.
True
2
proof
[(((triple3) -> rule2))]
("Eric" "is" "red" "+")
((triple3) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is not red.
False
2
inv-proof
[(((triple3) -> rule2))]
("Eric" "is" "red" "-")
((triple3) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
True
5
proof
[(((((triple3) -> rule2) triple3 triple6) -> rule7))]
("Eric" "is" "kind" "+")
((((triple3) -> (rule2 % int2)) triple3 triple6) -> (rule7 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is not kind.
False
5
inv-proof
[(((((triple3) -> rule2) triple3 triple6) -> rule7))]
("Eric" "is" "kind" "-")
((((triple3) -> (rule2 % int2)) triple3 triple6) -> (rule7 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is big.
True
7
proof
[(((triple7 ((((triple3) -> rule2) triple3 triple6) -> rule7)) -> rule1) OR ((((((triple3) -> rule2) triple3 triple6) -> rule7) triple4 ((triple3) -> rule2)) -> rule4))]
("Eric" "is" "big" "+")
((triple7 ((((triple3) -> (rule2 % int3)) triple3 triple6) -> (rule7 % int2))) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
((((((triple3) -> (rule2 % int3)) triple3 triple6) -> (rule7 % int2)) triple4 ((triple3) -> (rule2 % int3))) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not big.
False
7
inv-proof
[(((triple7 ((((triple3) -> rule2) triple3 triple6) -> rule7)) -> rule1) OR ((((((triple3) -> rule2) triple3 triple6) -> rule7) triple4 ((triple3) -> rule2)) -> rule4))]
("Eric" "is" "big" "-")
((triple7 ((((triple3) -> (rule2 % int3)) triple3 triple6) -> (rule7 % int2))) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
((((((triple3) -> (rule2 % int3)) triple3 triple6) -> (rule7 % int2)) triple4 ((triple3) -> (rule2 % int3))) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is round.
True
8
proof
[(((((triple7 ((((triple3) -> rule2) triple3 triple6) -> rule7)) -> rule1)) -> rule6) OR ((((((((triple3) -> rule2) triple3 triple6) -> rule7) triple4 ((triple3) -> rule2)) -> rule4)) -> rule6))]
("Eric" "is" "round" "+")
((((triple7 ((((triple3) -> (rule2 % int4)) triple3 triple6) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
int4
((((((((triple3) -> (rule2 % int4)) triple3 triple6) -> (rule7 % int3)) triple4 ((triple3) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
int4
Eric is not round.
False
8
inv-proof
[(((((triple7 ((((triple3) -> rule2) triple3 triple6) -> rule7)) -> rule1)) -> rule6) OR ((((((((triple3) -> rule2) triple3 triple6) -> rule7) triple4 ((triple3) -> rule2)) -> rule4)) -> rule6))]
("Eric" "is" "round" "-")
((((triple7 ((((triple3) -> (rule2 % int4)) triple3 triple6) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
int4
((((((((triple3) -> (rule2 % int4)) triple3 triple6) -> (rule7 % int3)) triple4 ((triple3) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
int4
Fred is not cold.
Unknown
inv-rconc
[@2: Fred is cold.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Fred" "is" "cold" "-")
Fred is round.
Unknown
rconc
[@2: Fred is round.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Fred" "is" "round" "+")
Gary is not round.
Unknown
inv-rconc
[@3: Gary is round.[CWA. Example of deepest failure = (rule6 <- rule4 <- rule2 <- FAIL)]]
("Gary" "is" "round" "-")
Fred is red.
Unknown
rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "red" "+")
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "cold" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Dave is blue.[(triple2)] Dave is red.[(triple1)] Eric is blue.[(triple7)] Eric is cold.[(triple6)] Eric is green.[(triple5)] Eric is nice.[(triple4)] Eric is young.[(triple3)] Fred is green.[(triple9)] Fred is rough.[(triple8)] Gary is kind.[(triple12)] Gary is nice.[(triple11)] Gary is rough.[(triple10)] @1: Eric is red.[(((triple3) -> rule2))] @2: Eric is kind.[(((((triple3) -> rule2) triple3 triple6) -> rule7))] @3: Eric is big.[(((triple7 ((((triple3) -> rule2) triple3 triple6) -> rule7)) -> rule1) OR ((((((triple3) -> rule2) triple3 triple6) -> rule7) triple4 ((triple3) -> rule2)) -> rule4))] @4: Eric is round.[(((((triple7 ((((triple3) -> rule2) triple3 triple6) -> rule7)) -> rule1)) -> rule6) OR ((((((((triple3) -> rule2) triple3 triple6) -> rule7) triple4 ((triple3) -> rule2)) -> rule4)) -> rule6))]
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is nice.
("Eric" "is" "nice" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Fred is green.
("Fred" "is" "green" "+")
triple9
Fred is rough.
("Fred" "is" "rough" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Eric is red.
("Eric" "is" "red" "+")
((triple3) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((((triple3) -> (rule2 % int2)) triple3 triple6) -> (rule7 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((triple7 ((((triple3) -> (rule2 % int3)) triple3 triple6) -> (rule7 % int2))) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
((((((triple3) -> (rule2 % int3)) triple3 triple6) -> (rule7 % int2)) triple4 ((triple3) -> (rule2 % int3))) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
((((triple7 ((((triple3) -> (rule2 % int4)) triple3 triple6) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
int4
((((((((triple3) -> (rule2 % int4)) triple3 triple6) -> (rule7 % int3)) triple4 ((triple3) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
int4
Dave looks red to most people, with blue features.
Young Eric is so nice even though he always feels cold; He loves to wear blue and green clothes.
Fred is known to be rough and green.
Gary is nice and kind, but a little rough.
I have found that blue, kind people are big.
It's a fact that young people are red people.
A nice and kind person who is big sized will be cold.
Red haired people who are nice and kind are looked up to because they are always big.
People,though rough and red,tend to be cold too.
Big people are also round people.
People who are cold and and red are also young and kind.