Dave is big but round. Despite his size, Dave is always cold in his green sweater. Dave is very nice. Gary is a young man who is a bit on the round side. He can be all over the place as he is nice, kind but also rough and blue with his moods. A nice person with rough skin is red. If a person is blue, rough, and green, then they are also big. Lucky for us, people that are round and red are kind to strangers. A round shaped and rough person will be blue as well. People,though rough and red,tend to be cold too. Somebody fitting a young, blue and round description will also fit a green description. A green person is going to be rough.
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is rough and nice then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and rough and green then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is round and red then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and round then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and young and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is green then they are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Dave is nice.
True
1
proof
[(triple2)]
("Dave" "is" "nice" "+")
triple2
Dave is not cold.
False
1
inv-proof
[(triple4 OR ((((triple3) -> rule7) ((((triple3) -> rule7) triple2) -> rule1)) -> rule5))]
("Dave" "is" "cold" "-")
triple4
((((triple3) -> (rule7 % int3)) ((((triple3) -> (rule7 % int3)) triple2) -> (rule1 % int2))) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Gary is red.
True
3
proof
[(((triple8 triple9) -> rule1) OR ((((((triple11 triple6 triple7) -> rule6)) -> rule7) triple9) -> rule1))]
("Gary" "is" "red" "+")
((triple8 triple9) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((((triple11 triple6 triple7) -> (rule6 % int3))) -> (rule7 % int2)) triple9) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is not green.
False
4
inv-proof
[(((triple11 triple6 triple7) -> rule6) OR ((((triple8 triple7) -> rule4) triple6 triple7) -> rule6))]
("Gary" "is" "green" "-")
((triple11 triple6 triple7) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple8 triple7) -> (rule4 % int2)) triple6 triple7) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is big.
True
7
proof
[(((triple11 triple8 ((triple11 triple6 triple7) -> rule6)) -> rule2) OR ((((triple8 triple7) -> rule4) triple8 ((triple11 triple6 triple7) -> rule6)) -> rule2) OR ((triple11 triple8 ((((triple8 triple7) -> rule4) triple6 triple7) -> rule6)) -> rule2) OR ((triple11 ((((triple11 triple6 triple7) -> rule6)) -> rule7) ((triple11 triple6 triple7) -> rule6)) -> rule2) OR ((((triple8 triple7) -> rule4) triple8 ((((triple8 triple7) -> rule4) triple6 triple7) -> rule6)) -> rule2) OR ((triple11 ((((triple11 triple6 triple7) -> rule6)) -> rule7) ((((triple8 triple7) -> rule4) triple6 triple7) -> rule6)) -> rule2) OR ((((triple8 triple7) -> rule4) ((((triple11 triple6 triple7) -> rule6)) -> rule7) ((triple11 triple6 triple7) -> rule6)) -> rule2) OR ((((triple8 triple7) -> rule4) ((((triple11 triple6 triple7) -> rule6)) -> rule7) ((((triple8 triple7) -> rule4) triple6 triple7) -> rule6)) -> rule2))]
("Gary" "is" "big" "+")
((triple11 triple8 ((triple11 triple6 triple7) -> (rule6 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple8 triple7) -> (rule4 % int3)) triple8 ((triple11 triple6 triple7) -> (rule6 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((triple11 triple8 ((((triple8 triple7) -> (rule4 % int3)) triple6 triple7) -> (rule6 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((triple11 ((((triple11 triple6 triple7) -> (rule6 % int3))) -> (rule7 % int2)) ((triple11 triple6 triple7) -> (rule6 % int3))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple8 triple7) -> (rule4 % int3)) triple8 ((((triple8 triple7) -> (rule4 % int3)) triple6 triple7) -> (rule6 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((triple11 ((((triple11 triple6 triple7) -> (rule6 % int4))) -> (rule7 % int3)) ((((triple8 triple7) -> (rule4 % int2)) triple6 triple7) -> (rule6 % int4))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((triple8 triple7) -> (rule4 % int4)) ((((triple11 triple6 triple7) -> (rule6 % int3))) -> (rule7 % int2)) ((triple11 triple6 triple7) -> (rule6 % int3))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple8 triple7) -> (rule4 % int4)) ((((triple11 triple6 triple7) -> (rule6 % int3))) -> (rule7 % int2)) ((((triple8 triple7) -> (rule4 % int4)) triple6 triple7) -> (rule6 % int3))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Dave is not blue.
False
4
inv-proof
[(((((triple3) -> rule7) triple1) -> rule4))]
("Dave" "is" "blue" "-")
((((triple3) -> (rule7 % int2)) triple1) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is kind.
True
6
proof
[(((triple1 ((((triple3) -> rule7) triple2) -> rule1)) -> rule3))]
("Dave" "is" "kind" "+")
((triple1 ((((triple3) -> (rule7 % int3)) triple2) -> (rule1 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is not kind.
False
6
inv-proof
[(((triple1 ((((triple3) -> rule7) triple2) -> rule1)) -> rule3))]
("Dave" "is" "kind" "-")
((triple1 ((((triple3) -> (rule7 % int3)) triple2) -> (rule1 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "green" "-")
Eric is green.
Unknown
rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "green" "+")
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "kind" "-")
Eric is rough.
Unknown
rconc
[@2: Eric is rough.[CWA. Example of deepest failure = (rule7 <- rule6 <- FAIL)]]
("Eric" "is" "rough" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Dave is big.[(triple5 OR ((((((triple3) -> rule7) triple1) -> rule4) ((triple3) -> rule7) triple3) -> rule2))] Dave is cold.[(triple4 OR ((((triple3) -> rule7) ((((triple3) -> rule7) triple2) -> rule1)) -> rule5))] Dave is green.[(triple3)] Dave is nice.[(triple2)] Dave is round.[(triple1)] Gary is blue.[(triple11 OR ((triple8 triple7) -> rule4))] Gary is kind.[(triple10 OR ((triple7 ((triple8 triple9) -> rule1)) -> rule3) OR ((triple7 ((((((triple11 triple6 triple7) -> rule6)) -> rule7) triple9) -> rule1)) -> rule3))] Gary is nice.[(triple9)] Gary is rough.[(triple8 OR ((((triple11 triple6 triple7) -> rule6)) -> rule7))] Gary is round.[(triple7)] Gary is young.[(triple6)] @1: Dave is rough.[(((triple3) -> rule7))] Gary is green.[(((triple11 triple6 triple7) -> rule6) OR ((((triple8 triple7) -> rule4) triple6 triple7) -> rule6))] Gary is red.[(((triple8 triple9) -> rule1) OR ((((((triple11 triple6 triple7) -> rule6)) -> rule7) triple9) -> rule1))] @2: Dave is blue.[(((((triple3) -> rule7) triple1) -> rule4))] Dave is red.[(((((triple3) -> rule7) triple2) -> rule1))] Gary is big.[(((triple11 triple8 ((triple11 triple6 triple7) -> rule6)) -> rule2) OR ((((triple8 triple7) -> rule4) triple8 ((triple11 triple6 triple7) -> rule6)) -> rule2) OR ((triple11 triple8 ((((triple8 triple7) -> rule4) triple6 triple7) -> rule6)) -> rule2) OR ((triple11 ((((triple11 triple6 triple7) -> rule6)) -> rule7) ((triple11 triple6 triple7) -> rule6)) -> rule2) OR ((((triple8 triple7) -> rule4) triple8 ((((triple8 triple7) -> rule4) triple6 triple7) -> rule6)) -> rule2) OR ((triple11 ((((triple11 triple6 triple7) -> rule6)) -> rule7) ((((triple8 triple7) -> rule4) triple6 triple7) -> rule6)) -> rule2) OR ((((triple8 triple7) -> rule4) ((((triple11 triple6 triple7) -> rule6)) -> rule7) ((triple11 triple6 triple7) -> rule6)) -> rule2) OR ((((triple8 triple7) -> rule4) ((((triple11 triple6 triple7) -> rule6)) -> rule7) ((((triple8 triple7) -> rule4) triple6 triple7) -> rule6)) -> rule2))] Gary is cold.[(((triple8 ((triple8 triple9) -> rule1)) -> rule5) OR ((((((triple11 triple6 triple7) -> rule6)) -> rule7) ((triple8 triple9) -> rule1)) -> rule5) OR ((triple8 ((((((triple11 triple6 triple7) -> rule6)) -> rule7) triple9) -> rule1)) -> rule5) OR ((((((triple11 triple6 triple7) -> rule6)) -> rule7) ((((((triple11 triple6 triple7) -> rule6)) -> rule7) triple9) -> rule1)) -> rule5))] @3: Dave is kind.[(((triple1 ((((triple3) -> rule7) triple2) -> rule1)) -> rule3))]
Dave is big.
("Dave" "is" "big" "+")
triple5
((((((triple3) -> (rule7 % int3)) triple1) -> (rule4 % int2)) ((triple3) -> (rule7 % int3)) triple3) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
triple4
((((triple3) -> (rule7 % int3)) ((((triple3) -> (rule7 % int3)) triple2) -> (rule1 % int2))) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple11
((triple8 triple7) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple10
((triple7 ((triple8 triple9) -> (rule1 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((triple7 ((((((triple11 triple6 triple7) -> (rule6 % int4))) -> (rule7 % int3)) triple9) -> (rule1 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
((((triple11 triple6 triple7) -> (rule6 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
((triple3) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple11 triple6 triple7) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple8 triple7) -> (rule4 % int2)) triple6 triple7) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((triple8 triple9) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((((triple11 triple6 triple7) -> (rule6 % int3))) -> (rule7 % int2)) triple9) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
((((triple3) -> (rule7 % int2)) triple1) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((((triple3) -> (rule7 % int2)) triple2) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((triple11 triple8 ((triple11 triple6 triple7) -> (rule6 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple8 triple7) -> (rule4 % int3)) triple8 ((triple11 triple6 triple7) -> (rule6 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((triple11 triple8 ((((triple8 triple7) -> (rule4 % int3)) triple6 triple7) -> (rule6 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((triple11 ((((triple11 triple6 triple7) -> (rule6 % int3))) -> (rule7 % int2)) ((triple11 triple6 triple7) -> (rule6 % int3))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple8 triple7) -> (rule4 % int3)) triple8 ((((triple8 triple7) -> (rule4 % int3)) triple6 triple7) -> (rule6 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((triple11 ((((triple11 triple6 triple7) -> (rule6 % int4))) -> (rule7 % int3)) ((((triple8 triple7) -> (rule4 % int2)) triple6 triple7) -> (rule6 % int4))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((triple8 triple7) -> (rule4 % int4)) ((((triple11 triple6 triple7) -> (rule6 % int3))) -> (rule7 % int2)) ((triple11 triple6 triple7) -> (rule6 % int3))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple8 triple7) -> (rule4 % int4)) ((((triple11 triple6 triple7) -> (rule6 % int3))) -> (rule7 % int2)) ((((triple8 triple7) -> (rule4 % int4)) triple6 triple7) -> (rule6 % int3))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
((triple8 ((triple8 triple9) -> (rule1 % int2))) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((((triple11 triple6 triple7) -> (rule6 % int4))) -> (rule7 % int3)) ((triple8 triple9) -> (rule1 % int2))) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((triple8 ((((((triple11 triple6 triple7) -> (rule6 % int4))) -> (rule7 % int3)) triple9) -> (rule1 % int2))) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple11 triple6 triple7) -> (rule6 % int4))) -> (rule7 % int3)) ((((((triple11 triple6 triple7) -> (rule6 % int4))) -> (rule7 % int3)) triple9) -> (rule1 % int2))) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
((triple1 ((((triple3) -> (rule7 % int3)) triple2) -> (rule1 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is big but round; Despite his size, Dave is always cold in his green sweater; Dave is very nice.
Gary is a young man who is a bit on the round side; He can be all over the place as he is nice, kind but also rough and blue with his moods.
A nice person with rough skin is red.
If a person is blue, rough, and green, then they are also big.
Lucky for us, people that are round and red are kind to strangers.
A round shaped and rough person will be blue as well.
People,though rough and red,tend to be cold too.
Somebody fitting a young, blue and round description will also fit a green description.
A green person is going to be rough.