Alan ate some rotten meat and now feels green. Dave is a very nice man but he feels a bit blue due to being so young and cold despite wearing his very heavy red sweater. Gary is a young guy who is also round, red, kind, cold and blue. A depressed person feeling blue who is kind cannot escape from being green. When someone is young, they can be cold but kind. Someone big and rough in shape is always kind. Kind and blue people,though young,tend to be big. A nice person who is downhearted, blue, and green with envy is rough. They found the ones that were round, blue, and green to be nice. Green people who are nice are rough.
Alan is green.
("Alan" "is" "green" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is blue and kind then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is young and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and rough then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and blue and young then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and blue and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and blue and green then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Dave is blue.
True
1
proof
[(triple6)]
("Dave" "is" "blue" "+")
triple6
Gary is not cold.
False
1
inv-proof
[(triple11)]
("Gary" "is" "cold" "-")
triple11
Dave is kind.
True
3
proof
[(((triple2 triple5) -> rule2))]
("Dave" "is" "kind" "+")
((triple2 triple5) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is not kind.
False
3
inv-proof
[(((triple2 triple5) -> rule2))]
("Dave" "is" "kind" "-")
((triple2 triple5) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Gary is nice.
True
6
proof
[(((triple8 triple12 ((triple12 triple10) -> rule1)) -> rule6) OR ((triple8 triple12 ((triple12 ((triple7 triple11) -> rule2)) -> rule1)) -> rule6))]
("Gary" "is" "nice" "+")
((triple8 triple12 ((triple12 triple10) -> (rule1 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((triple8 triple12 ((triple12 ((triple7 triple11) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is not nice.
False
6
inv-proof
[(((triple8 triple12 ((triple12 triple10) -> rule1)) -> rule6) OR ((triple8 triple12 ((triple12 ((triple7 triple11) -> rule2)) -> rule1)) -> rule6))]
("Gary" "is" "nice" "-")
((triple8 triple12 ((triple12 triple10) -> (rule1 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((triple8 triple12 ((triple12 ((triple7 triple11) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Dave is rough.
True
7
proof
[(((triple4 ((triple6 ((triple2 triple5) -> rule2)) -> rule1)) -> rule7) OR ((triple4 triple6 ((triple6 ((triple2 triple5) -> rule2)) -> rule1)) -> rule5))]
("Dave" "is" "rough" "+")
((triple4 ((triple6 ((triple2 triple5) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((triple4 triple6 ((triple6 ((triple2 triple5) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Gary is not rough.
False
10
inv-proof
[(((((triple8 triple12 ((triple12 triple10) -> rule1)) -> rule6) ((triple12 triple10) -> rule1)) -> rule7) OR ((((triple8 triple12 ((triple12 triple10) -> rule1)) -> rule6) triple12 ((triple12 triple10) -> rule1)) -> rule5) OR ((((triple8 triple12 ((triple12 triple10) -> rule1)) -> rule6) ((triple12 ((triple7 triple11) -> rule2)) -> rule1)) -> rule7) OR ((((triple8 triple12 ((triple12 triple10) -> rule1)) -> rule6) triple12 ((triple12 ((triple7 triple11) -> rule2)) -> rule1)) -> rule5) OR ((((triple8 triple12 ((triple12 ((triple7 triple11) -> rule2)) -> rule1)) -> rule6) ((triple12 triple10) -> rule1)) -> rule7) OR ((((triple8 triple12 ((triple12 ((triple7 triple11) -> rule2)) -> rule1)) -> rule6) triple12 ((triple12 triple10) -> rule1)) -> rule5) OR ((((triple8 triple12 ((triple12 ((triple7 triple11) -> rule2)) -> rule1)) -> rule6) ((triple12 ((triple7 triple11) -> rule2)) -> rule1)) -> rule7) OR ((((triple8 triple12 ((triple12 ((triple7 triple11) -> rule2)) -> rule1)) -> rule6) triple12 ((triple12 ((triple7 triple11) -> rule2)) -> rule1)) -> rule5))]
("Gary" "is" "rough" "-")
((((triple8 triple12 ((triple12 triple10) -> (rule1 % int3))) -> (rule6 % int2)) ((triple12 triple10) -> (rule1 % int3))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple8 triple12 ((triple12 triple10) -> (rule1 % int3))) -> (rule6 % int2)) triple12 ((triple12 triple10) -> (rule1 % int3))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple8 triple12 ((triple12 triple10) -> (rule1 % int4))) -> (rule6 % int3)) ((triple12 ((triple7 triple11) -> (rule2 % int2))) -> (rule1 % int4))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((triple8 triple12 ((triple12 triple10) -> (rule1 % int4))) -> (rule6 % int3)) triple12 ((triple12 ((triple7 triple11) -> (rule2 % int2))) -> (rule1 % int4))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((triple8 triple12 ((triple12 ((triple7 triple11) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple12 triple10) -> (rule1 % int3))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple8 triple12 ((triple12 ((triple7 triple11) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple12 ((triple12 triple10) -> (rule1 % int3))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple8 triple12 ((triple12 ((triple7 triple11) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple12 ((triple7 triple11) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple8 triple12 ((triple12 ((triple7 triple11) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple12 ((triple12 ((triple7 triple11) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Bob is not kind.
Unknown
inv-rconc
[@2: Bob is kind.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Bob" "is" "kind" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "big" "+")
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is rough.
Unknown
rconc
[@2: Bob is rough.[CWA. Example of deepest failure = (rule7 <- rule6 <- FAIL)]]
("Bob" "is" "rough" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Alan is green.[(triple1)] Dave is blue.[(triple6)] Dave is cold.[(triple5)] Dave is nice.[(triple4)] Dave is red.[(triple3)] Dave is young.[(triple2)] Gary is blue.[(triple12)] Gary is cold.[(triple11)] Gary is kind.[(triple10 OR ((triple7 triple11) -> rule2))] Gary is red.[(triple9)] Gary is round.[(triple8)] Gary is young.[(triple7)] @1: Dave is kind.[(((triple2 triple5) -> rule2))] Gary is big.[(((triple10 triple12 triple7) -> rule4) OR ((((triple7 triple11) -> rule2) triple12 triple7) -> rule4))] Gary is green.[(((triple12 triple10) -> rule1) OR ((triple12 ((triple7 triple11) -> rule2)) -> rule1))] @2: Dave is big.[(((((triple2 triple5) -> rule2) triple6 triple2) -> rule4))] Dave is green.[(((triple6 ((triple2 triple5) -> rule2)) -> rule1))] Gary is nice.[(((triple8 triple12 ((triple12 triple10) -> rule1)) -> rule6) OR ((triple8 triple12 ((triple12 ((triple7 triple11) -> rule2)) -> rule1)) -> rule6))] @3: Dave is rough.[(((triple4 ((triple6 ((triple2 triple5) -> rule2)) -> rule1)) -> rule7) OR ((triple4 triple6 ((triple6 ((triple2 triple5) -> rule2)) -> rule1)) -> rule5))] Gary is rough.[(((((triple8 triple12 ((triple12 triple10) -> rule1)) -> rule6) ((triple12 triple10) -> rule1)) -> rule7) OR ((((triple8 triple12 ((triple12 triple10) -> rule1)) -> rule6) triple12 ((triple12 triple10) -> rule1)) -> rule5) OR ((((triple8 triple12 ((triple12 triple10) -> rule1)) -> rule6) ((triple12 ((triple7 triple11) -> rule2)) -> rule1)) -> rule7) OR ((((triple8 triple12 ((triple12 triple10) -> rule1)) -> rule6) triple12 ((triple12 ((triple7 triple11) -> rule2)) -> rule1)) -> rule5) OR ((((triple8 triple12 ((triple12 ((triple7 triple11) -> rule2)) -> rule1)) -> rule6) ((triple12 triple10) -> rule1)) -> rule7) OR ((((triple8 triple12 ((triple12 ((triple7 triple11) -> rule2)) -> rule1)) -> rule6) triple12 ((triple12 triple10) -> rule1)) -> rule5) OR ((((triple8 triple12 ((triple12 ((triple7 triple11) -> rule2)) -> rule1)) -> rule6) ((triple12 ((triple7 triple11) -> rule2)) -> rule1)) -> rule7) OR ((((triple8 triple12 ((triple12 ((triple7 triple11) -> rule2)) -> rule1)) -> rule6) triple12 ((triple12 ((triple7 triple11) -> rule2)) -> rule1)) -> rule5))]
Alan is green.
("Alan" "is" "green" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple2
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple10
((triple7 triple11) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
((triple2 triple5) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple10 triple12 triple7) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple7 triple11) -> (rule2 % int2)) triple12 triple7) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((triple12 triple10) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple12 ((triple7 triple11) -> (rule2 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
((((triple2 triple5) -> (rule2 % int2)) triple6 triple2) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((triple6 ((triple2 triple5) -> (rule2 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((triple8 triple12 ((triple12 triple10) -> (rule1 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((triple8 triple12 ((triple12 ((triple7 triple11) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
((triple4 ((triple6 ((triple2 triple5) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((triple4 triple6 ((triple6 ((triple2 triple5) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
((((triple8 triple12 ((triple12 triple10) -> (rule1 % int3))) -> (rule6 % int2)) ((triple12 triple10) -> (rule1 % int3))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple8 triple12 ((triple12 triple10) -> (rule1 % int3))) -> (rule6 % int2)) triple12 ((triple12 triple10) -> (rule1 % int3))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple8 triple12 ((triple12 triple10) -> (rule1 % int4))) -> (rule6 % int3)) ((triple12 ((triple7 triple11) -> (rule2 % int2))) -> (rule1 % int4))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((triple8 triple12 ((triple12 triple10) -> (rule1 % int4))) -> (rule6 % int3)) triple12 ((triple12 ((triple7 triple11) -> (rule2 % int2))) -> (rule1 % int4))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((triple8 triple12 ((triple12 ((triple7 triple11) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple12 triple10) -> (rule1 % int3))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple8 triple12 ((triple12 ((triple7 triple11) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple12 ((triple12 triple10) -> (rule1 % int3))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple8 triple12 ((triple12 ((triple7 triple11) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple12 ((triple7 triple11) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple8 triple12 ((triple12 ((triple7 triple11) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple12 ((triple12 ((triple7 triple11) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Alan ate some rotten meat and now feels green.
Dave is a very nice man but he feels a bit blue due to being so young and cold despite wearing his very heavy red sweater.
Gary is a young guy who is also round, red, kind, cold and blue.
A depressed person feeling blue who is kind cannot escape from being green.
When someone is young, they can be cold but kind.
Someone big and rough in shape is always kind.
Kind and blue people,though young,tend to be big.
A nice person who is downhearted, blue, and green with envy is rough.
They found the ones that were round, blue, and green to be nice.
Green people who are nice are rough.