In the snow sits Dave, crying from being cold. Eric's cold expression hid how nice he was. He was constantly blue about it though which was rough. He was noticeably round too. Even though Fred is big and round, he is cold much of the time. That man standing next to you with a big round body goes by the name of Harry. A young and cold person is red. Cold people with rough, green skin are young. A round shaped and rough person will be blue as well. You will probably see that big, round, blue people are green, too. Big and cold people are likely to be round, too. Someone who's blue, nice and round will also be someone who's green.
Dave is cold.
("Dave" "is" "cold" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is cold and young then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and rough and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and round then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and big and blue then they are green.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is big and cold then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and nice and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Dave is cold.
True
1
proof
[(triple1)]
("Dave" "is" "cold" "+")
triple1
Harry is not big.
False
1
inv-proof
[(triple11)]
("Harry" "is" "big" "-")
triple11
Eric is green.
True
4
proof
[(((triple6 triple4 triple2) -> rule6) OR ((((triple3 triple2) -> rule3) triple4 triple2) -> rule6))]
("Eric" "is" "green" "+")
((triple6 triple4 triple2) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
((((triple3 triple2) -> (rule3 % int2)) triple4 triple2) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is not green.
False
4
inv-proof
[(((triple6 triple4 triple2) -> rule6) OR ((((triple3 triple2) -> rule3) triple4 triple2) -> rule6))]
("Eric" "is" "green" "-")
((triple6 triple4 triple2) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
((((triple3 triple2) -> (rule3 % int2)) triple4 triple2) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is young.
True
7
proof
[(((triple5 triple3 ((triple6 triple4 triple2) -> rule6)) -> rule2) OR ((triple5 triple3 ((((triple3 triple2) -> rule3) triple4 triple2) -> rule6)) -> rule2))]
("Eric" "is" "young" "+")
((triple5 triple3 ((triple6 triple4 triple2) -> (rule6 % int2))) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
((triple5 triple3 ((((triple3 triple2) -> (rule3 % int3)) triple4 triple2) -> (rule6 % int2))) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is not young.
False
7
inv-proof
[(((triple5 triple3 ((triple6 triple4 triple2) -> rule6)) -> rule2) OR ((triple5 triple3 ((((triple3 triple2) -> rule3) triple4 triple2) -> rule6)) -> rule2))]
("Eric" "is" "young" "-")
((triple5 triple3 ((triple6 triple4 triple2) -> (rule6 % int2))) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
((triple5 triple3 ((((triple3 triple2) -> (rule3 % int3)) triple4 triple2) -> (rule6 % int2))) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is red.
True
9
proof
[(((triple5 ((triple5 triple3 ((triple6 triple4 triple2) -> rule6)) -> rule2)) -> rule1) OR ((triple5 ((triple5 triple3 ((((triple3 triple2) -> rule3) triple4 triple2) -> rule6)) -> rule2)) -> rule1))]
("Eric" "is" "red" "+")
((triple5 ((triple5 triple3 ((triple6 triple4 triple2) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
((triple5 ((triple5 triple3 ((((triple3 triple2) -> (rule3 % int4)) triple4 triple2) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Eric is not red.
False
9
inv-proof
[(((triple5 ((triple5 triple3 ((triple6 triple4 triple2) -> rule6)) -> rule2)) -> rule1) OR ((triple5 ((triple5 triple3 ((((triple3 triple2) -> rule3) triple4 triple2) -> rule6)) -> rule2)) -> rule1))]
("Eric" "is" "red" "-")
((triple5 ((triple5 triple3 ((triple6 triple4 triple2) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
((triple5 ((triple5 triple3 ((((triple3 triple2) -> (rule3 % int4)) triple4 triple2) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Fred is not red.
Unknown
inv-rconc
[@2: Fred is red.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Fred" "is" "red" "-")
Dave is red.
Unknown
rconc
[@2: Dave is red.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Dave" "is" "red" "+")
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "round" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "young" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
@0: Dave is cold.[(triple1)] Eric is blue.[(triple6 OR ((triple3 triple2) -> rule3))] Eric is cold.[(triple5)] Eric is nice.[(triple4)] Eric is rough.[(triple3)] Eric is round.[(triple2)] Fred is big.[(triple9)] Fred is cold.[(triple8)] Fred is round.[(triple7 OR ((triple9 triple8) -> rule5))] Harry is big.[(triple11)] Harry is round.[(triple10)] @1: Eric is green.[(((triple6 triple4 triple2) -> rule6) OR ((((triple3 triple2) -> rule3) triple4 triple2) -> rule6))] @2: Eric is young.[(((triple5 triple3 ((triple6 triple4 triple2) -> rule6)) -> rule2) OR ((triple5 triple3 ((((triple3 triple2) -> rule3) triple4 triple2) -> rule6)) -> rule2))] @3: Eric is red.[(((triple5 ((triple5 triple3 ((triple6 triple4 triple2) -> rule6)) -> rule2)) -> rule1) OR ((triple5 ((triple5 triple3 ((((triple3 triple2) -> rule3) triple4 triple2) -> rule6)) -> rule2)) -> rule1))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple6
((triple3 triple2) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
triple5
Eric is nice.
("Eric" "is" "nice" "+")
triple4
Eric is rough.
("Eric" "is" "rough" "+")
triple3
Eric is round.
("Eric" "is" "round" "+")
triple2
Fred is big.
("Fred" "is" "big" "+")
triple9
Fred is cold.
("Fred" "is" "cold" "+")
triple8
Fred is round.
("Fred" "is" "round" "+")
triple7
((triple9 triple8) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Eric is green.
("Eric" "is" "green" "+")
((triple6 triple4 triple2) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
((((triple3 triple2) -> (rule3 % int2)) triple4 triple2) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
((triple5 triple3 ((triple6 triple4 triple2) -> (rule6 % int2))) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
((triple5 triple3 ((((triple3 triple2) -> (rule3 % int3)) triple4 triple2) -> (rule6 % int2))) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
((triple5 ((triple5 triple3 ((triple6 triple4 triple2) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
((triple5 ((triple5 triple3 ((((triple3 triple2) -> (rule3 % int4)) triple4 triple2) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
In the snow sits Dave, crying from being cold.
Eric's cold expression hid how nice he was; He was constantly blue about it though which was rough; He was noticeably round too.
Even though Fred is big and round, he is cold much of the time.
That man standing next to you with a big round body goes by the name of Harry.
A young and cold person is red.
Cold people with rough, green skin are young.
A round shaped and rough person will be blue as well.
You will probably see that big, round, blue people are green, too.
Big and cold people are likely to be round, too.
Someone who's blue, nice and round will also be someone who's green.