Dave always goes out of his way to show that he is kind to people. You could say that Eric is red and kind and it would also be true that he is cold and big. Fred grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. Gary is round, dresses in red, but is blue with cold. A kind red person is also a blue person. It's been proven that red, rough people are green as well. Red haired people who are nice and kind are looked up to because they are always big. Blue people who are rough are often young. A person that is feeling blue and slightly big, is red as well. Being cold and blue made them rough to deal with. A person who is cold, rough and young is also nice.
Dave is kind.
("Dave" "is" "kind" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is kind and red then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and rough then they are green.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
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 blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is big and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and blue then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and young and rough then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Eric is cold.
True
1
proof
[(triple4)]
("Eric" "is" "cold" "+")
triple4
Eric is not kind.
False
1
inv-proof
[(triple3)]
("Eric" "is" "kind" "-")
triple3
Gary is rough.
True
3
proof
[(((triple10 triple11) -> rule6))]
("Gary" "is" "rough" "+")
((triple10 triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Eric is not blue.
False
3
inv-proof
[(((triple3 triple2) -> rule1))]
("Eric" "is" "blue" "-")
((triple3 triple2) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Gary is young.
True
5
proof
[(((((triple10 triple11) -> rule6) triple11) -> rule4))]
("Gary" "is" "young" "+")
((((triple10 triple11) -> (rule6 % int2)) triple11) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Eric is not rough.
False
5
inv-proof
[(((triple4 ((triple3 triple2) -> rule1)) -> rule6))]
("Eric" "is" "rough" "-")
((triple4 ((triple3 triple2) -> (rule1 % int2))) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is green.
True
7
proof
[(((triple2 ((triple4 ((triple3 triple2) -> rule1)) -> rule6)) -> rule2))]
("Eric" "is" "green" "+")
((triple2 ((triple4 ((triple3 triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is not young.
False
9
inv-proof
[(((((triple4 ((triple3 triple2) -> rule1)) -> rule6) ((triple3 triple2) -> rule1)) -> rule4))]
("Eric" "is" "young" "-")
((((triple4 ((triple3 triple2) -> (rule1 % int3))) -> (rule6 % int2)) ((triple3 triple2) -> (rule1 % int3))) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is nice.
True
16
proof
[(((triple4 ((((triple4 ((triple3 triple2) -> rule1)) -> rule6) ((triple3 triple2) -> rule1)) -> rule4) ((triple4 ((triple3 triple2) -> rule1)) -> rule6)) -> rule7))]
("Eric" "is" "nice" "+")
((triple4 ((((triple4 ((triple3 triple2) -> (rule1 % int4))) -> (rule6 % int3)) ((triple3 triple2) -> (rule1 % int4))) -> (rule4 % int2)) ((triple4 ((triple3 triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule7 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Eric is not nice.
False
16
inv-proof
[(((triple4 ((((triple4 ((triple3 triple2) -> rule1)) -> rule6) ((triple3 triple2) -> rule1)) -> rule4) ((triple4 ((triple3 triple2) -> rule1)) -> rule6)) -> rule7))]
("Eric" "is" "nice" "-")
((triple4 ((((triple4 ((triple3 triple2) -> (rule1 % int4))) -> (rule6 % int3)) ((triple3 triple2) -> (rule1 % int4))) -> (rule4 % int2)) ((triple4 ((triple3 triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule7 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Fred is not big.
Unknown
inv-rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "big" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "nice" "+")
Dave is not young.
Unknown
inv-rconc
[@2: Dave is young.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Dave" "is" "young" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "big" "+")
Dave is not green.
Unknown
inv-rconc
[@2: Dave is green.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Dave" "is" "green" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Dave is kind.[(triple1)] Eric is big.[(triple5 OR ((triple3 ((triple4 ((((triple4 ((triple3 triple2) -> rule1)) -> rule6) ((triple3 triple2) -> rule1)) -> rule4) ((triple4 ((triple3 triple2) -> rule1)) -> rule6)) -> rule7) triple2) -> rule3))] Eric is cold.[(triple4)] Eric is kind.[(triple3)] Eric is red.[(triple2)] Fred is blue.[(triple7)] Fred is rough.[(triple6)] Gary is blue.[(triple11)] Gary is cold.[(triple10)] Gary is red.[(triple9)] Gary is round.[(triple8)] @1: Eric is blue.[(((triple3 triple2) -> rule1))] Fred is young.[(((triple6 triple7) -> rule4))] Gary is rough.[(((triple10 triple11) -> rule6))] @2: Eric is rough.[(((triple4 ((triple3 triple2) -> rule1)) -> rule6))] Gary is green.[(((triple9 ((triple10 triple11) -> rule6)) -> rule2))] Gary is young.[(((((triple10 triple11) -> rule6) triple11) -> rule4))] @3: Eric is green.[(((triple2 ((triple4 ((triple3 triple2) -> rule1)) -> rule6)) -> rule2))] Eric is young.[(((((triple4 ((triple3 triple2) -> rule1)) -> rule6) ((triple3 triple2) -> rule1)) -> rule4))] Gary is nice.[(((triple10 ((((triple10 triple11) -> rule6) triple11) -> rule4) ((triple10 triple11) -> rule6)) -> rule7))] @4: Eric is nice.[(((triple4 ((((triple4 ((triple3 triple2) -> rule1)) -> rule6) ((triple3 triple2) -> rule1)) -> rule4) ((triple4 ((triple3 triple2) -> rule1)) -> rule6)) -> rule7))]
Dave is kind.
("Dave" "is" "kind" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple5
((triple3 ((triple4 ((((triple4 ((triple3 triple2) -> (rule1 % int5))) -> (rule6 % int4)) ((triple3 triple2) -> (rule1 % int5))) -> (rule4 % int3)) ((triple4 ((triple3 triple2) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule7 % int2)) triple2) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
int4
Eric is blue.
("Eric" "is" "blue" "+")
int5
Eric is cold.
("Eric" "is" "cold" "+")
triple4
Eric is kind.
("Eric" "is" "kind" "+")
triple3
Eric is red.
("Eric" "is" "red" "+")
triple2
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Eric is blue.
("Eric" "is" "blue" "+")
((triple3 triple2) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((triple6 triple7) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple10 triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
((triple4 ((triple3 triple2) -> (rule1 % int2))) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((triple9 ((triple10 triple11) -> (rule6 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((triple10 triple11) -> (rule6 % int2)) triple11) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((triple2 ((triple4 ((triple3 triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
((((triple4 ((triple3 triple2) -> (rule1 % int3))) -> (rule6 % int2)) ((triple3 triple2) -> (rule1 % int3))) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
((triple10 ((((triple10 triple11) -> (rule6 % int3)) triple11) -> (rule4 % int2)) ((triple10 triple11) -> (rule6 % int3))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Eric is nice.
("Eric" "is" "nice" "+")
((triple4 ((((triple4 ((triple3 triple2) -> (rule1 % int4))) -> (rule6 % int3)) ((triple3 triple2) -> (rule1 % int4))) -> (rule4 % int2)) ((triple4 ((triple3 triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule7 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Dave always goes out of his way to show that he is kind to people.
You could say that Eric is red and kind and it would also be true that he is cold and big.
Fred grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
Gary is round, dresses in red, but is blue with cold.
A kind red person is also a blue person.
It's been proven that red, rough people are green as well.
Red haired people who are nice and kind are looked up to because they are always big.
Blue people who are rough are often young.
A person that is feeling blue and slightly big, is red as well.
Being cold and blue made them rough to deal with.
A person who is cold, rough and young is also nice.