In the snow sits Bob, crying from being cold. Gary is big for being as young as he is. You will also notice how he is green and red. That big rough Harry guy is both red and blue at the same time. Big, kind people are nice. Young people that are blue will still be kind because they are rough to the touch. If you are green you are also kind. Nice people who are big are always feeling blue. Like a blueberry, a big blue person is round as anything. A young, red person will certainly be cold. People,though rough and red,tend to be cold too.
Bob is cold.
("Bob" "is" "cold" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is kind and big then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and young and kind then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is red and young then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
Gary is green.
True
1
proof
[(triple4)]
("Gary" "is" "green" "+")
triple4
Harry is not rough.
False
1
inv-proof
[(triple6)]
("Harry" "is" "rough" "-")
triple6
Harry is cold.
True
3
proof
[(((triple6 triple7) -> rule7))]
("Harry" "is" "cold" "+")
((triple6 triple7) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not cold.
False
3
inv-proof
[(((triple6 triple7) -> rule7))]
("Harry" "is" "cold" "-")
((triple6 triple7) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Gary is nice.
True
4
proof
[(((((triple4) -> rule3) triple5) -> rule1))]
("Gary" "is" "nice" "+")
((((triple4) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is not nice.
False
4
inv-proof
[(((((triple4) -> rule3) triple5) -> rule1))]
("Gary" "is" "nice" "-")
((((triple4) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is blue.
True
6
proof
[(((((((triple4) -> rule3) triple5) -> rule1) triple5) -> rule4))]
("Gary" "is" "blue" "+")
((((((triple4) -> (rule3 % int3)) triple5) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is not blue.
False
6
inv-proof
[(((((((triple4) -> rule3) triple5) -> rule1) triple5) -> rule4))]
("Gary" "is" "blue" "-")
((((((triple4) -> (rule3 % int3)) triple5) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is rough.
True
10
proof
[(((((((((triple4) -> rule3) triple5) -> rule1) triple5) -> rule4) triple2 ((triple4) -> rule3)) -> rule2))]
("Gary" "is" "rough" "+")
((((((((triple4) -> (rule3 % int4)) triple5) -> (rule1 % int3)) triple5) -> (rule4 % int2)) triple2 ((triple4) -> (rule3 % int4))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is not rough.
False
10
inv-proof
[(((((((((triple4) -> rule3) triple5) -> rule1) triple5) -> rule4) triple2 ((triple4) -> rule3)) -> rule2))]
("Gary" "is" "rough" "-")
((((((((triple4) -> (rule3 % int4)) triple5) -> (rule1 % int3)) triple5) -> (rule4 % int2)) triple2 ((triple4) -> (rule3 % int4))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "nice" "-")
Harry is nice.
Unknown
rconc
[@2: Harry is nice.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Harry" "is" "nice" "+")
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "rough" "-")
Bob is kind.
Unknown
rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "kind" "+")
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "blue" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Bob is cold.[(triple1)] Gary is big.[(triple5)] Gary is green.[(triple4)] Gary is red.[(triple3)] Gary is young.[(triple2)] Harry is big.[(triple9)] Harry is blue.[(triple8)] Harry is red.[(triple7)] Harry is rough.[(triple6)] @1: Gary is cold.[(((triple3 triple2) -> rule6) OR ((((((((((triple4) -> rule3) triple5) -> rule1) triple5) -> rule4) triple2 ((triple4) -> rule3)) -> rule2) triple3) -> rule7))] Gary is kind.[(((triple4) -> rule3))] Harry is cold.[(((triple6 triple7) -> rule7))] Harry is round.[(((triple8 triple9) -> rule5))] @2: Gary is nice.[(((((triple4) -> rule3) triple5) -> rule1))] @3: Gary is blue.[(((((((triple4) -> rule3) triple5) -> rule1) triple5) -> rule4))] @4: Gary is rough.[(((((((((triple4) -> rule3) triple5) -> rule1) triple5) -> rule4) triple2 ((triple4) -> rule3)) -> rule2))] Gary is round.[(((((((((triple4) -> rule3) triple5) -> rule1) triple5) -> rule4) triple5) -> rule5))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Gary is big.
("Gary" "is" "big" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple4
Gary is red.
("Gary" "is" "red" "+")
triple3
Gary is young.
("Gary" "is" "young" "+")
triple2
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
((triple3 triple2) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((((((((((triple4) -> (rule3 % int5)) triple5) -> (rule1 % int4)) triple5) -> (rule4 % int3)) triple2 ((triple4) -> (rule3 % int5))) -> (rule2 % int2)) triple3) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
Gary is kind.
("Gary" "is" "kind" "+")
((triple4) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple6 triple7) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple8 triple9) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((((triple4) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((((((triple4) -> (rule3 % int3)) triple5) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
((((((((triple4) -> (rule3 % int4)) triple5) -> (rule1 % int3)) triple5) -> (rule4 % int2)) triple2 ((triple4) -> (rule3 % int4))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
((((((((triple4) -> (rule3 % int4)) triple5) -> (rule1 % int3)) triple5) -> (rule4 % int2)) triple5) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
In the snow sits Bob, crying from being cold.
Gary is big for being as young as he is; You will also notice how he is green and red.
That big rough Harry guy is both red and blue at the same time.
Big, kind people are nice.
Young people that are blue will still be kind because they are rough to the touch.
If you are green you are also kind.
Nice people who are big are always feeling blue.
Like a blueberry, a big blue person is round as anything.
A young, red person will certainly be cold.
People,though rough and red,tend to be cold too.