Dave is a big young guy who is always nice even when feeling cold or blue.  Today however he is looking green due to being ill. Eric is a rough but very kind and blue person. Fred ate some rotten meat and now feels green. When you meet Gary you'll the two characteristics that will standout is that he's red but also rough. A cold, rough person is also round. Young people with red skin who are a bit downhearted and blue are kind. A red colored and round person who is also young will be rather kind. Big and cold people tend to see red and dont live green lifestyle. Nice and kind people tend to live green lifestyle and arent very rough. A kind person with green and red skin must be big too. A big, green person who is cold is assumed to be red also.
Dave is young.
("Dave" "is" "young" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
If someone is rough and cold then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is young and blue and red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and round and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and big and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and kind and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and kind and red then they are big.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is green and big and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Dave is green.
True
1
proof
[(triple3)]
("Dave" "is" "green" "+")
triple3
Dave is not green.
False
1
inv-proof
[(triple3)]
("Dave" "is" "green" "-")
triple3
Dave is red.
True
4
proof
[(((triple3 triple6 triple4) -> rule7))]
("Dave" "is" "red" "+")
((triple3 triple6 triple4) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is not red.
False
4
inv-proof
[(((triple3 triple6 triple4) -> rule7))]
("Dave" "is" "red" "-")
((triple3 triple6 triple4) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
True
7
proof
[(((triple1 triple5 ((triple3 triple6 triple4) -> rule7)) -> rule2))]
("Dave" "is" "kind" "+")
((triple1 triple5 ((triple3 triple6 triple4) -> (rule7 % int2))) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is not kind.
False
7
inv-proof
[(((triple1 triple5 ((triple3 triple6 triple4) -> rule7)) -> rule2))]
("Dave" "is" "kind" "-")
((triple1 triple5 ((triple3 triple6 triple4) -> (rule7 % int2))) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
True
10
proof
[(((triple2 ((triple1 triple5 ((triple3 triple6 triple4) -> rule7)) -> rule2) triple3) -> rule5))]
("Dave" "is" "rough" "+")
((triple2 ((triple1 triple5 ((triple3 triple6 triple4) -> (rule7 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is not rough.
False
10
inv-proof
[(((triple2 ((triple1 triple5 ((triple3 triple6 triple4) -> rule7)) -> rule2) triple3) -> rule5))]
("Dave" "is" "rough" "-")
((triple2 ((triple1 triple5 ((triple3 triple6 triple4) -> (rule7 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
True
12
proof
[(((((triple2 ((triple1 triple5 ((triple3 triple6 triple4) -> rule7)) -> rule2) triple3) -> rule5) triple4) -> rule1))]
("Dave" "is" "round" "+")
((((triple2 ((triple1 triple5 ((triple3 triple6 triple4) -> (rule7 % int4))) -> (rule2 % int3)) triple3) -> (rule5 % int2)) triple4) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is not round.
False
12
inv-proof
[(((((triple2 ((triple1 triple5 ((triple3 triple6 triple4) -> rule7)) -> rule2) triple3) -> rule5) triple4) -> rule1))]
("Dave" "is" "round" "-")
((((triple2 ((triple1 triple5 ((triple3 triple6 triple4) -> (rule7 % int4))) -> (rule2 % int3)) triple3) -> (rule5 % int2)) triple4) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "rough" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "round" "+")
Fred is not big.
Unknown
inv-rconc
[@2: Fred is big.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Fred" "is" "big" "-")
Eric is big.
Unknown
rconc
[@2: Eric is big.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Eric" "is" "big" "+")
Eric is not red.
Unknown
inv-rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Eric" "is" "red" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Dave is big.[(triple6)] Dave is blue.[(triple5)] Dave is cold.[(triple4)] Dave is green.[(triple3)] Dave is nice.[(triple2)] Dave is young.[(triple1)] Eric is blue.[(triple9)] Eric is kind.[(triple8)] Eric is rough.[(triple7)] Fred is green.[(triple10)] Gary is red.[(triple12)] Gary is rough.[(triple11)] @1: Dave is red.[(((triple3 triple6 triple4) -> rule7))] @2: Dave is kind.[(((triple1 triple5 ((triple3 triple6 triple4) -> rule7)) -> rule2))] @3: Dave is rough.[(((triple2 ((triple1 triple5 ((triple3 triple6 triple4) -> rule7)) -> rule2) triple3) -> rule5))] @4: Dave is round.[(((((triple2 ((triple1 triple5 ((triple3 triple6 triple4) -> rule7)) -> rule2) triple3) -> rule5) triple4) -> rule1))]
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple9
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Fred is green.
("Fred" "is" "green" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple12
Gary is rough.
("Gary" "is" "rough" "+")
triple11
Dave is red.
("Dave" "is" "red" "+")
((triple3 triple6 triple4) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((triple1 triple5 ((triple3 triple6 triple4) -> (rule7 % int2))) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((triple2 ((triple1 triple5 ((triple3 triple6 triple4) -> (rule7 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
((((triple2 ((triple1 triple5 ((triple3 triple6 triple4) -> (rule7 % int4))) -> (rule2 % int3)) triple3) -> (rule5 % int2)) triple4) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is a big young guy who is always nice even when feeling cold or blue; Today however he is looking green due to being ill.
Eric is a rough but very kind and blue person.
Fred ate some rotten meat and now feels green.
When you meet Gary you'll the two characteristics that will standout is that he's red but also rough.
A cold, rough person is also round.
Young people with red skin who are a bit downhearted and blue are kind.
A red colored and round person who is also young will be rather kind.
Big and cold people tend to see red and dont live green lifestyle.
Nice and kind people tend to live green lifestyle and arent very rough.
A kind person with green and red skin must be big too.
A big, green person who is cold is assumed to be red also.