They always call him rough Bob. Eric, who is nice and kind, can also be thought of as cold and rough. In the snow sits Gary, crying from being cold. Harry is so big, he is often blue, but always kind. Nice people that are blue because they are cold turn green with envy. People who are big and kind are also round. Blue kind people are almost always nice to others. Big and round people can't help but be cold all of the time. Green people who are nice are rough.
Bob is rough.
("Bob" "is" "rough" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is blue and nice and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and kind then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Eric is kind.
True
1
proof
[(triple4)]
("Eric" "is" "kind" "+")
triple4
Eric is not cold.
False
1
inv-proof
[(triple5)]
("Eric" "is" "cold" "-")
triple5
Harry is nice.
True
3
proof
[(((triple8 triple7) -> rule3))]
("Harry" "is" "nice" "+")
((triple8 triple7) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
3
inv-proof
[(((triple8 triple7) -> rule3))]
("Harry" "is" "nice" "-")
((triple8 triple7) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
True
5
proof
[(((triple9 ((triple7 triple9) -> rule2)) -> rule4))]
("Harry" "is" "cold" "+")
((triple9 ((triple7 triple9) -> (rule2 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not cold.
False
5
inv-proof
[(((triple9 ((triple7 triple9) -> rule2)) -> rule4))]
("Harry" "is" "cold" "-")
((triple9 ((triple7 triple9) -> (rule2 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is green.
True
10
proof
[(((triple8 ((triple8 triple7) -> rule3) ((triple9 ((triple7 triple9) -> rule2)) -> rule4)) -> rule1))]
("Harry" "is" "green" "+")
((triple8 ((triple8 triple7) -> (rule3 % int4)) ((triple9 ((triple7 triple9) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is not green.
False
10
inv-proof
[(((triple8 ((triple8 triple7) -> rule3) ((triple9 ((triple7 triple9) -> rule2)) -> rule4)) -> rule1))]
("Harry" "is" "green" "-")
((triple8 ((triple8 triple7) -> (rule3 % int4)) ((triple9 ((triple7 triple9) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is rough.
True
14
proof
[(((((triple8 triple7) -> rule3) ((triple8 ((triple8 triple7) -> rule3) ((triple9 ((triple7 triple9) -> rule2)) -> rule4)) -> rule1)) -> rule5))]
("Harry" "is" "rough" "+")
((((triple8 triple7) -> (rule3 % int5)) ((triple8 ((triple8 triple7) -> (rule3 % int5)) ((triple9 ((triple7 triple9) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Harry is not rough.
False
14
inv-proof
[(((((triple8 triple7) -> rule3) ((triple8 ((triple8 triple7) -> rule3) ((triple9 ((triple7 triple9) -> rule2)) -> rule4)) -> rule1)) -> rule5))]
("Harry" "is" "rough" "-")
((((triple8 triple7) -> (rule3 % int5)) ((triple8 ((triple8 triple7) -> (rule3 % int5)) ((triple9 ((triple7 triple9) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "round" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "nice" "+")
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "nice" "+")
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "green" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
@0: Bob is rough.[(triple1)] Eric is cold.[(triple5)] Eric is kind.[(triple4)] Eric is nice.[(triple3)] Eric is rough.[(triple2)] Gary is cold.[(triple6)] Harry is big.[(triple9)] Harry is blue.[(triple8)] Harry is kind.[(triple7)] @1: Harry is nice.[(((triple8 triple7) -> rule3))] Harry is round.[(((triple7 triple9) -> rule2))] @2: Harry is cold.[(((triple9 ((triple7 triple9) -> rule2)) -> rule4))] @3: Harry is green.[(((triple8 ((triple8 triple7) -> rule3) ((triple9 ((triple7 triple9) -> rule2)) -> rule4)) -> rule1))] @4: Harry is rough.[(((((triple8 triple7) -> rule3) ((triple8 ((triple8 triple7) -> rule3) ((triple9 ((triple7 triple9) -> rule2)) -> rule4)) -> rule1)) -> rule5))]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple5
Eric is kind.
("Eric" "is" "kind" "+")
triple4
Eric is nice.
("Eric" "is" "nice" "+")
triple3
Eric is rough.
("Eric" "is" "rough" "+")
triple2
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
((triple8 triple7) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple7 triple9) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple9 ((triple7 triple9) -> (rule2 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((triple8 ((triple8 triple7) -> (rule3 % int4)) ((triple9 ((triple7 triple9) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
((((triple8 triple7) -> (rule3 % int5)) ((triple8 ((triple8 triple7) -> (rule3 % int5)) ((triple9 ((triple7 triple9) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
They always call him rough Bob.
Eric, who is nice and kind, can also be thought of as cold and rough.
In the snow sits Gary, crying from being cold.
Harry is so big, he is often blue, but always kind.
Nice people that are blue because they are cold turn green with envy.
People who are big and kind are also round.
Blue kind people are almost always nice to others.
Big and round people can't help but be cold all of the time.
Green people who are nice are rough.