Bob wears all blue. Blue and green Charlie is so kind he snowplows the neighbors driveways and everyone thanks him with beer. Dave was kind despite being rough. And because he was so big, Dave constantly felt cold. Young Fred got into a fight that left him with red sores on his face. A rough and kind person is big. If people are cold they are often red. I see it all the time, nice big people make equal a cold person. If a big person is cold and nice, then they are green. A big kind person that is red is almost always nice. Red and round people will be cold even in the summer.
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is red.
("Fred" "is" "red" "+")
If someone is kind and rough then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is cold then they are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and big and nice then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
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 red and round then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Fred is young.
True
1
proof
[(triple9)]
("Fred" "is" "young" "+")
triple9
Dave is not rough.
False
1
inv-proof
[(triple5)]
("Dave" "is" "rough" "-")
triple5
Dave is red.
True
2
proof
[(((triple7) -> rule2))]
("Dave" "is" "red" "+")
((triple7) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is not red.
False
2
inv-proof
[(((triple7) -> rule2))]
("Dave" "is" "red" "-")
((triple7) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
True
5
proof
[(((triple6 ((triple7) -> rule2) triple8) -> rule5) OR ((triple6 ((triple7) -> rule2) ((triple6 triple5) -> rule1)) -> rule5))]
("Dave" "is" "nice" "+")
((triple6 ((triple7) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((triple6 ((triple7) -> (rule2 % int3)) ((triple6 triple5) -> (rule1 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is not nice.
False
5
inv-proof
[(((triple6 ((triple7) -> rule2) triple8) -> rule5) OR ((triple6 ((triple7) -> rule2) ((triple6 triple5) -> rule1)) -> rule5))]
("Dave" "is" "nice" "-")
((triple6 ((triple7) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((triple6 ((triple7) -> (rule2 % int3)) ((triple6 triple5) -> (rule1 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is green.
True
8
proof
[(((triple7 triple8 ((triple6 ((triple7) -> rule2) triple8) -> rule5)) -> rule4) OR ((triple7 triple8 ((triple6 ((triple7) -> rule2) ((triple6 triple5) -> rule1)) -> rule5)) -> rule4) OR ((triple7 ((triple6 triple5) -> rule1) ((triple6 ((triple7) -> rule2) triple8) -> rule5)) -> rule4) OR ((triple7 ((triple6 triple5) -> rule1) ((triple6 ((triple7) -> rule2) ((triple6 triple5) -> rule1)) -> rule5)) -> rule4))]
("Dave" "is" "green" "+")
((triple7 triple8 ((triple6 ((triple7) -> (rule2 % int3)) triple8) -> (rule5 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((triple7 triple8 ((triple6 ((triple7) -> (rule2 % int4)) ((triple6 triple5) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((triple7 ((triple6 triple5) -> (rule1 % int4)) ((triple6 ((triple7) -> (rule2 % int3)) triple8) -> (rule5 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((triple7 ((triple6 triple5) -> (rule1 % int4)) ((triple6 ((triple7) -> (rule2 % int3)) ((triple6 triple5) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is not green.
False
8
inv-proof
[(((triple7 triple8 ((triple6 ((triple7) -> rule2) triple8) -> rule5)) -> rule4) OR ((triple7 triple8 ((triple6 ((triple7) -> rule2) ((triple6 triple5) -> rule1)) -> rule5)) -> rule4) OR ((triple7 ((triple6 triple5) -> rule1) ((triple6 ((triple7) -> rule2) triple8) -> rule5)) -> rule4) OR ((triple7 ((triple6 triple5) -> rule1) ((triple6 ((triple7) -> rule2) ((triple6 triple5) -> rule1)) -> rule5)) -> rule4))]
("Dave" "is" "green" "-")
((triple7 triple8 ((triple6 ((triple7) -> (rule2 % int3)) triple8) -> (rule5 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((triple7 triple8 ((triple6 ((triple7) -> (rule2 % int4)) ((triple6 triple5) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((triple7 ((triple6 triple5) -> (rule1 % int4)) ((triple6 ((triple7) -> (rule2 % int3)) triple8) -> (rule5 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((triple7 ((triple6 triple5) -> (rule1 % int4)) ((triple6 ((triple7) -> (rule2 % int3)) ((triple6 triple5) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Bob is not red.
Unknown
inv-rconc
[@3: Bob is red.[CWA. Example of deepest failure = (rule2 <- rule3 <- rule5 <- FAIL)]]
("Bob" "is" "red" "-")
Charlie is nice.
Unknown
rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Charlie" "is" "nice" "+")
Bob is not cold.
Unknown
inv-rconc
[@2: Bob is cold.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Bob" "is" "cold" "-")
Charlie is cold.
Unknown
rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Charlie" "is" "cold" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is blue.[(triple1)] Charlie is blue.[(triple4)] Charlie is green.[(triple3)] Charlie is kind.[(triple2)] Dave is big.[(triple8 OR ((triple6 triple5) -> rule1))] Dave is cold.[(triple7)] Dave is kind.[(triple6)] Dave is rough.[(triple5)] Fred is red.[(triple10)] Fred is young.[(triple9)] @1: Dave is red.[(((triple7) -> rule2))] @2: Dave is nice.[(((triple6 ((triple7) -> rule2) triple8) -> rule5) OR ((triple6 ((triple7) -> rule2) ((triple6 triple5) -> rule1)) -> rule5))] @3: Dave is green.[(((triple7 triple8 ((triple6 ((triple7) -> rule2) triple8) -> rule5)) -> rule4) OR ((triple7 triple8 ((triple6 ((triple7) -> rule2) ((triple6 triple5) -> rule1)) -> rule5)) -> rule4) OR ((triple7 ((triple6 triple5) -> rule1) ((triple6 ((triple7) -> rule2) triple8) -> rule5)) -> rule4) OR ((triple7 ((triple6 triple5) -> rule1) ((triple6 ((triple7) -> rule2) ((triple6 triple5) -> rule1)) -> rule5)) -> rule4))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple8
((triple6 triple5) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Fred is red.
("Fred" "is" "red" "+")
triple10
Fred is young.
("Fred" "is" "young" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
((triple7) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple6 ((triple7) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((triple6 ((triple7) -> (rule2 % int3)) ((triple6 triple5) -> (rule1 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
((triple7 triple8 ((triple6 ((triple7) -> (rule2 % int3)) triple8) -> (rule5 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((triple7 triple8 ((triple6 ((triple7) -> (rule2 % int4)) ((triple6 triple5) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((triple7 ((triple6 triple5) -> (rule1 % int4)) ((triple6 ((triple7) -> (rule2 % int3)) triple8) -> (rule5 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((triple7 ((triple6 triple5) -> (rule1 % int4)) ((triple6 ((triple7) -> (rule2 % int3)) ((triple6 triple5) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Bob wears all blue.
Blue and green Charlie is so kind he snowplows the neighbors driveways and everyone thanks him with beer.
Dave was kind despite being rough; And because he was so big, Dave constantly felt cold.
Young Fred got into a fight that left him with red sores on his face.
A rough and kind person is big.
If people are cold they are often red.
I see it all the time, nice big people make equal a cold person.
If a big person is cold and nice, then they are green.
A big kind person that is red is almost always nice.
Red and round people will be cold even in the summer.