Bob is blue and cold. If you have a fire big Charlie comes on the firetruck and with his big blue hands he is so nice and kind as he saves your cat from the fire. Dave looks red to most people, with blue features. Eric, who is nice and kind, can also be thought of as cold and rough. We called someone with green, round eyes, blue for some reason. A blue person who is feeling a bit rough and cold will be wearing red. People who are blue and red and kind are described as being green. Look for the blue and green people, they are kind and will give you directions if you're lost. A blue individual that is kind and nice to others also has a rough appearance. Kind people,though green,are cold. Kind people, for example, like the ones at the bank are always blue.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
If someone is green and round then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and cold and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is red and kind and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and blue and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and green then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Dave is red.
True
1
proof
[(triple7)]
("Dave" "is" "red" "+")
triple7
Charlie is not big.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "big" "-")
triple6
Eric is blue.
True
2
proof
[(((triple11) -> rule7))]
("Eric" "is" "blue" "+")
((triple11) -> (rule7 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Charlie is not rough.
False
4
inv-proof
[(((triple4 triple5 triple3) -> rule5) OR ((triple4 ((triple4) -> rule7) triple3) -> rule5))]
("Charlie" "is" "rough" "-")
((triple4 triple5 triple3) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple4 ((triple4) -> (rule7 % int2)) triple3) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Eric is red.
True
5
proof
[(((((triple11) -> rule7) triple12 triple9) -> rule2) OR ((((triple11) -> rule7) triple12 ((triple11 ((triple11) -> rule7) triple10) -> rule5)) -> rule2))]
("Eric" "is" "red" "+")
((((triple11) -> (rule7 % int2)) triple12 triple9) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
((((triple11) -> (rule7 % int3)) triple12 ((triple11 ((triple11) -> (rule7 % int3)) triple10) -> (rule5 % int2))) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is not red.
False
5
inv-proof
[(((((triple11) -> rule7) triple12 triple9) -> rule2) OR ((((triple11) -> rule7) triple12 ((triple11 ((triple11) -> rule7) triple10) -> rule5)) -> rule2))]
("Eric" "is" "red" "-")
((((triple11) -> (rule7 % int2)) triple12 triple9) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
((((triple11) -> (rule7 % int3)) triple12 ((triple11 ((triple11) -> (rule7 % int3)) triple10) -> (rule5 % int2))) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is green.
True
9
proof
[(((((((triple11) -> rule7) triple12 triple9) -> rule2) triple11 ((triple11) -> rule7)) -> rule3) OR ((((((triple11) -> rule7) triple12 ((triple11 ((triple11) -> rule7) triple10) -> rule5)) -> rule2) triple11 ((triple11) -> rule7)) -> rule3))]
("Eric" "is" "green" "+")
((((((triple11) -> (rule7 % int3)) triple12 triple9) -> (rule2 % int2)) triple11 ((triple11) -> (rule7 % int3))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
((((((triple11) -> (rule7 % int4)) triple12 ((triple11 ((triple11) -> (rule7 % int4)) triple10) -> (rule5 % int3))) -> (rule2 % int2)) triple11 ((triple11) -> (rule7 % int4))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Eric is not green.
False
9
inv-proof
[(((((((triple11) -> rule7) triple12 triple9) -> rule2) triple11 ((triple11) -> rule7)) -> rule3) OR ((((((triple11) -> rule7) triple12 ((triple11 ((triple11) -> rule7) triple10) -> rule5)) -> rule2) triple11 ((triple11) -> rule7)) -> rule3))]
("Eric" "is" "green" "-")
((((((triple11) -> (rule7 % int3)) triple12 triple9) -> (rule2 % int2)) triple11 ((triple11) -> (rule7 % int3))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
((((((triple11) -> (rule7 % int4)) triple12 ((triple11 ((triple11) -> (rule7 % int4)) triple10) -> (rule5 % int3))) -> (rule2 % int2)) triple11 ((triple11) -> (rule7 % int4))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Dave is not cold.
Unknown
inv-rconc
[@3: Dave is cold.[CWA. Example of deepest failure = (rule6 <- rule4 <- rule3 <- FAIL)]]
("Dave" "is" "cold" "-")
Charlie is green.
Unknown
rconc
[@3: Charlie is green.[CWA. Example of deepest failure = (rule3 <- rule2 <- rule6 <- FAIL)]]
("Charlie" "is" "green" "+")
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "rough" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "rough" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Bob is blue.[(triple2)] Bob is cold.[(triple1)] Charlie is big.[(triple6)] Charlie is blue.[(triple5 OR ((triple4) -> rule7))] Charlie is kind.[(triple4)] Charlie is nice.[(triple3)] Dave is blue.[(triple8)] Dave is red.[(triple7)] Eric is cold.[(triple12)] Eric is kind.[(triple11)] Eric is nice.[(triple10)] Eric is rough.[(triple9 OR ((triple11 ((triple11) -> rule7) triple10) -> rule5))] @1: Charlie is rough.[(((triple4 triple5 triple3) -> rule5) OR ((triple4 ((triple4) -> rule7) triple3) -> rule5))] Eric is blue.[(((triple11) -> rule7))] @2: Eric is red.[(((((triple11) -> rule7) triple12 triple9) -> rule2) OR ((((triple11) -> rule7) triple12 ((triple11 ((triple11) -> rule7) triple10) -> rule5)) -> rule2))] @3: Eric is green.[(((((((triple11) -> rule7) triple12 triple9) -> rule2) triple11 ((triple11) -> rule7)) -> rule3) OR ((((((triple11) -> rule7) triple12 ((triple11 ((triple11) -> rule7) triple10) -> rule5)) -> rule2) triple11 ((triple11) -> rule7)) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
((triple4) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is red.
("Dave" "is" "red" "+")
triple7
Eric is cold.
("Eric" "is" "cold" "+")
triple12
Eric is kind.
("Eric" "is" "kind" "+")
triple11
Eric is nice.
("Eric" "is" "nice" "+")
triple10
Eric is rough.
("Eric" "is" "rough" "+")
triple9
((triple11 ((triple11) -> (rule7 % int2)) triple10) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple4 triple5 triple3) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple4 ((triple4) -> (rule7 % int2)) triple3) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
((triple11) -> (rule7 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((((triple11) -> (rule7 % int2)) triple12 triple9) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
((((triple11) -> (rule7 % int3)) triple12 ((triple11 ((triple11) -> (rule7 % int3)) triple10) -> (rule5 % int2))) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
((((((triple11) -> (rule7 % int3)) triple12 triple9) -> (rule2 % int2)) triple11 ((triple11) -> (rule7 % int3))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
((((((triple11) -> (rule7 % int4)) triple12 ((triple11 ((triple11) -> (rule7 % int4)) triple10) -> (rule5 % int3))) -> (rule2 % int2)) triple11 ((triple11) -> (rule7 % int4))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Bob is blue and cold.
If you have a fire big Charlie comes on the firetruck and with his big blue hands he is so nice and kind as he saves your cat from the fire.
Dave looks red to most people, with blue features.
Eric, who is nice and kind, can also be thought of as cold and rough.
We called someone with green, round eyes, blue for some reason.
A blue person who is feeling a bit rough and cold will be wearing red.
People who are blue and red and kind are described as being green.
Look for the blue and green people, they are kind and will give you directions if you're lost.
A blue individual that is kind and nice to others also has a rough appearance.
Kind people,though green,are cold.
Kind people, for example, like the ones at the bank are always blue.