Dave looks big and is kind with red hair and green shoes. Eric always goes out of his way to show that he is kind to people. You should meet Fred, he is big and rough on the football field but also very young in age. Gary is known to be rough and green. A person who is nice and green with envy is round. Nice people who are big are always feeling blue. A kind person who is green is usually round. A big kind person that is red is almost always nice. Round and big people are sure to be rough. Looking blue can be a sign that someone is cold.
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is nice and green then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and green then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and red and big then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and big then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue then they are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Fred is rough.
True
1
proof
[(triple7)]
("Fred" "is" "rough" "+")
triple7
Dave is not green.
False
1
inv-proof
[(triple3)]
("Dave" "is" "green" "-")
triple3
Dave is nice.
True
4
proof
[(((triple2 triple1 triple4) -> rule4))]
("Dave" "is" "nice" "+")
((triple2 triple1 triple4) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not round.
False
3
inv-proof
[(((triple2 triple3) -> rule3) OR ((((triple2 triple1 triple4) -> rule4) triple3) -> rule1))]
("Dave" "is" "round" "-")
((triple2 triple3) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((((triple2 triple1 triple4) -> (rule4 % int2)) triple3) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is rough.
True
5
proof
[(((((triple2 triple3) -> rule3) triple4) -> rule5) OR ((((((triple2 triple1 triple4) -> rule4) triple3) -> rule1) triple4) -> rule5))]
("Dave" "is" "rough" "+")
((((triple2 triple3) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((((triple2 triple1 triple4) -> (rule4 % int3)) triple3) -> (rule1 % int2)) triple4) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is not rough.
False
5
inv-proof
[(((((triple2 triple3) -> rule3) triple4) -> rule5) OR ((((((triple2 triple1 triple4) -> rule4) triple3) -> rule1) triple4) -> rule5))]
("Dave" "is" "rough" "-")
((((triple2 triple3) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((((triple2 triple1 triple4) -> (rule4 % int3)) triple3) -> (rule1 % int2)) triple4) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is cold.
True
7
proof
[(((((((triple2 triple1 triple4) -> rule4) triple4) -> rule2)) -> rule6))]
("Dave" "is" "cold" "+")
((((((triple2 triple1 triple4) -> (rule4 % int3)) triple4) -> (rule2 % int2))) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is not cold.
False
7
inv-proof
[(((((((triple2 triple1 triple4) -> rule4) triple4) -> rule2)) -> rule6))]
("Dave" "is" "cold" "-")
((((((triple2 triple1 triple4) -> (rule4 % int3)) triple4) -> (rule2 % int2))) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Eric is not rough.
Unknown
inv-rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "rough" "-")
Eric is cold.
Unknown
rconc
[@2: Eric is cold.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Eric" "is" "cold" "+")
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "round" "-")
Fred is cold.
Unknown
rconc
[@3: Fred is cold.[CWA. Example of deepest failure = (rule6 <- rule2 <- rule4 <- FAIL)]]
("Fred" "is" "cold" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Dave is big.[(triple4)] Dave is green.[(triple3)] Dave is kind.[(triple2)] Dave is red.[(triple1)] Eric is kind.[(triple5)] Fred is big.[(triple8)] Fred is rough.[(triple7)] Fred is young.[(triple6)] Gary is green.[(triple10)] Gary is rough.[(triple9)] @1: Dave is nice.[(((triple2 triple1 triple4) -> rule4))] Dave is round.[(((triple2 triple3) -> rule3) OR ((((triple2 triple1 triple4) -> rule4) triple3) -> rule1))] @2: Dave is blue.[(((((triple2 triple1 triple4) -> rule4) triple4) -> rule2))] Dave is rough.[(((((triple2 triple3) -> rule3) triple4) -> rule5) OR ((((((triple2 triple1 triple4) -> rule4) triple3) -> rule1) triple4) -> rule5))] @3: Dave is cold.[(((((((triple2 triple1 triple4) -> rule4) triple4) -> rule2)) -> rule6))]
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple1
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Dave is nice.
("Dave" "is" "nice" "+")
((triple2 triple1 triple4) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple2 triple3) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((((triple2 triple1 triple4) -> (rule4 % int2)) triple3) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((((triple2 triple1 triple4) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((((triple2 triple3) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((((triple2 triple1 triple4) -> (rule4 % int3)) triple3) -> (rule1 % int2)) triple4) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
((((((triple2 triple1 triple4) -> (rule4 % int3)) triple4) -> (rule2 % int2))) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave looks big and is kind with red hair and green shoes.
Eric always goes out of his way to show that he is kind to people.
You should meet Fred, he is big and rough on the football field but also very young in age.
Gary is known to be rough and green.
A person who is nice and green with envy is round.
Nice people who are big are always feeling blue.
A kind person who is green is usually round.
A big kind person that is red is almost always nice.
Round and big people are sure to be rough.
Looking blue can be a sign that someone is cold.