In the snow sits Bob, crying from being cold. Charlie ate some rotten meat and now feels green. Dave is rough and is blue, but that's because he's big and round in a small and square world. Eric is really big and young, wearing red and blue while feeling cold. Maybe someone is rough and blue with the cold. Red, big people can't help but be round as well. A person with rough skin who has been standing in the cold will turn red. Young and rough green people, have no choice but to be red. If red and slightly green people are asked, they will tell you they feel blue. A round shaped and red person is definitely nice.
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is rough and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and big then they are round.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is young and rough and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is green and red then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and red then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Dave is rough.
True
1
proof
[(triple4)]
("Dave" "is" "rough" "+")
triple4
Eric is not blue.
False
1
inv-proof
[(triple10)]
("Eric" "is" "blue" "-")
triple10
Dave is cold.
True
3
proof
[(((triple4 triple5) -> rule1))]
("Dave" "is" "cold" "+")
((triple4 triple5) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
3
inv-proof
[(((triple4 triple5) -> rule1))]
("Dave" "is" "cold" "-")
((triple4 triple5) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Eric is nice.
True
5
proof
[(((((triple8 triple11) -> rule2) triple8) -> rule6))]
("Eric" "is" "nice" "+")
((((triple8 triple11) -> (rule2 % int2)) triple8) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Dave is not red.
False
5
inv-proof
[(((((triple4 triple5) -> rule1) triple4) -> rule3))]
("Dave" "is" "red" "-")
((((triple4 triple5) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is nice.
True
7
proof
[(((triple3 ((((triple4 triple5) -> rule1) triple4) -> rule3)) -> rule6) OR ((((((((triple4 triple5) -> rule1) triple4) -> rule3) triple6) -> rule2) ((((triple4 triple5) -> rule1) triple4) -> rule3)) -> rule6))]
("Dave" "is" "nice" "+")
((triple3 ((((triple4 triple5) -> (rule1 % int3)) triple4) -> (rule3 % int2))) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((((((triple4 triple5) -> (rule1 % int4)) triple4) -> (rule3 % int3)) triple6) -> (rule2 % int2)) ((((triple4 triple5) -> (rule1 % int4)) triple4) -> (rule3 % int3))) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is not nice.
False
7
inv-proof
[(((triple3 ((((triple4 triple5) -> rule1) triple4) -> rule3)) -> rule6) OR ((((((((triple4 triple5) -> rule1) triple4) -> rule3) triple6) -> rule2) ((((triple4 triple5) -> rule1) triple4) -> rule3)) -> rule6))]
("Dave" "is" "nice" "-")
((triple3 ((((triple4 triple5) -> (rule1 % int3)) triple4) -> (rule3 % int2))) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((((((triple4 triple5) -> (rule1 % int4)) triple4) -> (rule3 % int3)) triple6) -> (rule2 % int2)) ((((triple4 triple5) -> (rule1 % int4)) triple4) -> (rule3 % int3))) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "red" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "+")
Charlie is not nice.
Unknown
inv-rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Charlie" "is" "nice" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "red" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is cold.[(triple1)] Charlie is green.[(triple2)] Dave is big.[(triple6)] Dave is blue.[(triple5)] Dave is rough.[(triple4)] Dave is round.[(triple3 OR ((((((triple4 triple5) -> rule1) triple4) -> rule3) triple6) -> rule2))] Eric is big.[(triple11)] Eric is blue.[(triple10)] Eric is cold.[(triple9)] Eric is red.[(triple8)] Eric is young.[(triple7)] @1: Dave is cold.[(((triple4 triple5) -> rule1))] Eric is round.[(((triple8 triple11) -> rule2))] @2: Dave is red.[(((((triple4 triple5) -> rule1) triple4) -> rule3))] Eric is nice.[(((((triple8 triple11) -> rule2) triple8) -> rule6))] @3: Dave is nice.[(((triple3 ((((triple4 triple5) -> rule1) triple4) -> rule3)) -> rule6) OR ((((((((triple4 triple5) -> rule1) triple4) -> rule3) triple6) -> rule2) ((((triple4 triple5) -> rule1) triple4) -> rule3)) -> rule6))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple3
((((((triple4 triple5) -> (rule1 % int3)) triple4) -> (rule3 % int2)) triple6) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Eric is big.
("Eric" "is" "big" "+")
triple11
Eric is blue.
("Eric" "is" "blue" "+")
triple10
Eric is cold.
("Eric" "is" "cold" "+")
triple9
Eric is red.
("Eric" "is" "red" "+")
triple8
Eric is young.
("Eric" "is" "young" "+")
triple7
Dave is cold.
("Dave" "is" "cold" "+")
((triple4 triple5) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((triple8 triple11) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((((triple4 triple5) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((((triple8 triple11) -> (rule2 % int2)) triple8) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((triple3 ((((triple4 triple5) -> (rule1 % int3)) triple4) -> (rule3 % int2))) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((((((triple4 triple5) -> (rule1 % int4)) triple4) -> (rule3 % int3)) triple6) -> (rule2 % int2)) ((((triple4 triple5) -> (rule1 % int4)) triple4) -> (rule3 % int3))) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
In the snow sits Bob, crying from being cold.
Charlie ate some rotten meat and now feels green.
Dave is rough and is blue, but that's because he's big and round in a small and square world.
Eric is really big and young, wearing red and blue while feeling cold.
Maybe someone is rough and blue with the cold.
Red, big people can't help but be round as well.
A person with rough skin who has been standing in the cold will turn red.
Young and rough green people, have no choice but to be red.
If red and slightly green people are asked, they will tell you they feel blue.
A round shaped and red person is definitely nice.