Alan wears all blue. In the snow sits Bob, crying from being cold. Even though Dave feels blue because of how round he is, he is still nice and kind to people that talk to him. Harry fits the description of someone who is rough, red and blue. Often, when you meet a rough person with red skin, you'll see that they are young too. A nice person who is always seen to be wearing green clothes will be rather big in size. A young, red person will certainly be cold. If you're cold and red then you're nice. I bet you didn't know that nice, kind, cold people happen to be red.
Alan is blue.
("Alan" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is rough and red then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is green and nice then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is red and young then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and red then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and kind and cold then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Bob is cold.
True
1
proof
[(triple2)]
("Bob" "is" "cold" "+")
triple2
Harry is not red.
False
1
inv-proof
[(triple8)]
("Harry" "is" "red" "-")
triple8
Harry is young.
True
3
proof
[(((triple7 triple8) -> rule1))]
("Harry" "is" "young" "+")
((triple7 triple8) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not young.
False
3
inv-proof
[(((triple7 triple8) -> rule1))]
("Harry" "is" "young" "-")
((triple7 triple8) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
True
5
proof
[(((triple8 ((triple7 triple8) -> rule1)) -> rule3))]
("Harry" "is" "cold" "+")
((triple8 ((triple7 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not cold.
False
5
inv-proof
[(((triple8 ((triple7 triple8) -> rule1)) -> rule3))]
("Harry" "is" "cold" "-")
((triple8 ((triple7 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
True
7
proof
[(((((triple8 ((triple7 triple8) -> rule1)) -> rule3) triple8) -> rule4))]
("Harry" "is" "nice" "+")
((((triple8 ((triple7 triple8) -> (rule1 % int3))) -> (rule3 % int2)) triple8) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is not nice.
False
7
inv-proof
[(((((triple8 ((triple7 triple8) -> rule1)) -> rule3) triple8) -> rule4))]
("Harry" "is" "nice" "-")
((((triple8 ((triple7 triple8) -> (rule1 % int3))) -> (rule3 % int2)) triple8) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "big" "-")
Alan is nice.
Unknown
rconc
[@2: Alan is nice.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Alan" "is" "nice" "+")
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "-")
Alan is cold.
Unknown
rconc
[@2: Alan is cold.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Alan" "is" "cold" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Alan is blue.[(triple1)] Bob is cold.[(triple2)] Dave is blue.[(triple6)] Dave is kind.[(triple5)] Dave is nice.[(triple4)] Dave is round.[(triple3)] Harry is blue.[(triple9)] Harry is red.[(triple8)] Harry is rough.[(triple7)] @1: Harry is young.[(((triple7 triple8) -> rule1))] @2: Harry is cold.[(((triple8 ((triple7 triple8) -> rule1)) -> rule3))] @3: Harry is nice.[(((((triple8 ((triple7 triple8) -> rule1)) -> rule3) triple8) -> rule4))]
Alan is blue.
("Alan" "is" "blue" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
((triple7 triple8) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple8 ((triple7 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((((triple8 ((triple7 triple8) -> (rule1 % int3))) -> (rule3 % int2)) triple8) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Alan wears all blue.
In the snow sits Bob, crying from being cold.
Even though Dave feels blue because of how round he is, he is still nice and kind to people that talk to him.
Harry fits the description of someone who is rough, red and blue.
Often, when you meet a rough person with red skin, you'll see that they are young too.
A nice person who is always seen to be wearing green clothes will be rather big in size.
A young, red person will certainly be cold.
If you're cold and red then you're nice.
I bet you didn't know that nice, kind, cold people happen to be red.