Bob is blue and cold. Gary is young and rough. He is at once red, then blue, then green. But deep down, he is nice. Harry is fat; so he appears big and round.  Harry is also nice and kind to everyone that he meets. A green person who is cold and round is also big. Cold people,though green and red,tend to be rough. Big people who are round in stature and also feel rough are often cold to other people. A big and round shaped person that is also cold will be blue in color. Blue people who are rough are often young. Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer. A rather round and green person will be red.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is cold and round and green then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and green and red then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and rough and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and big and round then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and round and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and green then they are red.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
Gary is blue.
True
1
proof
[(triple8)]
("Gary" "is" "blue" "+")
triple8
Harry is not big.
False
1
inv-proof
[(triple12)]
("Harry" "is" "big" "-")
triple12
Harry is rough.
True
4
proof
[(((triple11 triple9 triple10) -> rule6))]
("Harry" "is" "rough" "+")
((triple11 triple9 triple10) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
4
inv-proof
[(((triple11 triple9 triple10) -> rule6))]
("Harry" "is" "rough" "-")
((triple11 triple9 triple10) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
True
7
proof
[(((triple12 ((triple11 triple9 triple10) -> rule6) triple9) -> rule3))]
("Harry" "is" "cold" "+")
((triple12 ((triple11 triple9 triple10) -> (rule6 % int2)) triple9) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is not cold.
False
7
inv-proof
[(((triple12 ((triple11 triple9 triple10) -> rule6) triple9) -> rule3))]
("Harry" "is" "cold" "-")
((triple12 ((triple11 triple9 triple10) -> (rule6 % int2)) triple9) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is blue.
True
10
proof
[(((((triple12 ((triple11 triple9 triple10) -> rule6) triple9) -> rule3) triple12 triple9) -> rule4))]
("Harry" "is" "blue" "+")
((((triple12 ((triple11 triple9 triple10) -> (rule6 % int3)) triple9) -> (rule3 % int2)) triple12 triple9) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is not blue.
False
10
inv-proof
[(((((triple12 ((triple11 triple9 triple10) -> rule6) triple9) -> rule3) triple12 triple9) -> rule4))]
("Harry" "is" "blue" "-")
((((triple12 ((triple11 triple9 triple10) -> (rule6 % int3)) triple9) -> (rule3 % int2)) triple12 triple9) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is young.
True
15
proof
[(((((triple11 triple9 triple10) -> rule6) ((((triple12 ((triple11 triple9 triple10) -> rule6) triple9) -> rule3) triple12 triple9) -> rule4)) -> rule5))]
("Harry" "is" "young" "+")
((((triple11 triple9 triple10) -> (rule6 % int4)) ((((triple12 ((triple11 triple9 triple10) -> (rule6 % int4)) triple9) -> (rule3 % int3)) triple12 triple9) -> (rule4 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is not young.
False
15
inv-proof
[(((((triple11 triple9 triple10) -> rule6) ((((triple12 ((triple11 triple9 triple10) -> rule6) triple9) -> rule3) triple12 triple9) -> rule4)) -> rule5))]
("Harry" "is" "young" "-")
((((triple11 triple9 triple10) -> (rule6 % int4)) ((((triple12 ((triple11 triple9 triple10) -> (rule6 % int4)) triple9) -> (rule3 % int3)) triple12 triple9) -> (rule4 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "red" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "big" "+")
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "big" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "cold" "+")
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "red" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is blue.[(triple2)] Bob is cold.[(triple1)] Gary is blue.[(triple8)] Gary is green.[(triple7)] Gary is nice.[(triple6)] Gary is red.[(triple5)] Gary is rough.[(triple4)] Gary is young.[(triple3 OR ((triple4 triple8) -> rule5))] Harry is big.[(triple12)] Harry is kind.[(triple11)] Harry is nice.[(triple10)] Harry is round.[(triple9)] @1: Harry is rough.[(((triple11 triple9 triple10) -> rule6))] @2: Harry is cold.[(((triple12 ((triple11 triple9 triple10) -> rule6) triple9) -> rule3))] @3: Harry is blue.[(((((triple12 ((triple11 triple9 triple10) -> rule6) triple9) -> rule3) triple12 triple9) -> rule4))] @4: Harry is young.[(((((triple11 triple9 triple10) -> rule6) ((((triple12 ((triple11 triple9 triple10) -> rule6) triple9) -> rule3) triple12 triple9) -> rule4)) -> rule5))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple4
Gary is young.
("Gary" "is" "young" "+")
triple3
((triple4 triple8) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
((triple11 triple9 triple10) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple12 ((triple11 triple9 triple10) -> (rule6 % int2)) triple9) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((((triple12 ((triple11 triple9 triple10) -> (rule6 % int3)) triple9) -> (rule3 % int2)) triple12 triple9) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
((((triple11 triple9 triple10) -> (rule6 % int4)) ((((triple12 ((triple11 triple9 triple10) -> (rule6 % int4)) triple9) -> (rule3 % int3)) triple12 triple9) -> (rule4 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Bob is blue and cold.
Gary is young and rough; He is at once red, then blue, then green; But deep down, he is nice.
Harry is fat; so he appears big and round; Harry is also nice and kind to everyone that he meets.
A green person who is cold and round is also big.
Cold people,though green and red,tend to be rough.
Big people who are round in stature and also feel rough are often cold to other people.
A big and round shaped person that is also cold will be blue in color.
Blue people who are rough are often young.
Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer.
A rather round and green person will be red.