Bob is big and rough. In the snow sits Charlie, crying from being cold. When you first meet Dave you know he is young and big, but later you find out he is also, incredibly kind, cold and rough. Because someone is green and kind they are extremely nice to people. When someone is nice and rough they are usually red. A nice and blue person who's also red will be a rough person. Show me someone who is cold and kind, and I'll show you how green they are. Big people, round in the middle and having rough skin are nice because they know what it's like to be made fun of. Kind people who are also rough are young. Ifa blue and green colored person is rough then they must be big shaped.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
If someone is green and kind then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and rough then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and nice and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and kind then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and round and big then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and kind then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and green and rough then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Bob is big.
True
1
proof
[(triple2)]
("Bob" "is" "big" "+")
triple2
Dave is not cold.
False
1
inv-proof
[(triple7)]
("Dave" "is" "cold" "-")
triple7
Dave is green.
True
3
proof
[(((triple7 triple6) -> rule4))]
("Dave" "is" "green" "+")
((triple7 triple6) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not green.
False
3
inv-proof
[(((triple7 triple6) -> rule4))]
("Dave" "is" "green" "-")
((triple7 triple6) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
True
5
proof
[(((((triple7 triple6) -> rule4) triple6) -> rule1))]
("Dave" "is" "nice" "+")
((((triple7 triple6) -> (rule4 % int2)) triple6) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is not nice.
False
5
inv-proof
[(((((triple7 triple6) -> rule4) triple6) -> rule1))]
("Dave" "is" "nice" "-")
((((triple7 triple6) -> (rule4 % int2)) triple6) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
True
7
proof
[(((((((triple7 triple6) -> rule4) triple6) -> rule1) triple5) -> rule2))]
("Dave" "is" "red" "+")
((((((triple7 triple6) -> (rule4 % int3)) triple6) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is not red.
False
7
inv-proof
[(((((((triple7 triple6) -> rule4) triple6) -> rule1) triple5) -> rule2))]
("Dave" "is" "red" "-")
((((((triple7 triple6) -> (rule4 % int3)) triple6) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "young" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "nice" "+")
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "young" "-")
Eric is red.
Unknown
rconc
[@2: Eric is red.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Eric" "is" "red" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
@0: Bob is big.[(triple2)] Bob is rough.[(triple1)] Charlie is cold.[(triple3)] Dave is big.[(triple8)] Dave is cold.[(triple7)] Dave is kind.[(triple6)] Dave is rough.[(triple5)] Dave is young.[(triple4 OR ((triple5 triple6) -> rule6))] @1: Dave is green.[(((triple7 triple6) -> rule4))] @2: Dave is nice.[(((((triple7 triple6) -> rule4) triple6) -> rule1))] @3: Dave is red.[(((((((triple7 triple6) -> rule4) triple6) -> rule1) triple5) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple4
((triple5 triple6) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple7 triple6) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((((triple7 triple6) -> (rule4 % int2)) triple6) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((((((triple7 triple6) -> (rule4 % int3)) triple6) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Bob is big and rough.
In the snow sits Charlie, crying from being cold.
When you first meet Dave you know he is young and big, but later you find out he is also, incredibly kind, cold and rough.
Because someone is green and kind they are extremely nice to people.
When someone is nice and rough they are usually red.
A nice and blue person who's also red will be a rough person.
Show me someone who is cold and kind, and I'll show you how green they are.
Big people, round in the middle and having rough skin are nice because they know what it's like to be made fun of.
Kind people who are also rough are young.
Ifa blue and green colored person is rough then they must be big shaped.