Bob has a round face and is very nice. Eric is a young and nice man, and he is also very big shaped. Gary is green, which is a possible explanation for why he is so nice. Harry is known for being big and green and rough around the edges but is still kind. Right now Harry is cold from the snow. People who are nice, round and wearing blue will have red cheeks. People who are round, blue and cold are usually nice. Young people who rough around in the cold are known to be very red. Big and cold people are likely to be round, too. A green and quite rough person will also be blue. Nice people who are kind, despite their rough skin, are big hearted. Everyone knows that if you are cold, kind, and big, it goes without saying that you are round.
Bob is round.
("Bob" "is" "round" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is nice and round and blue then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is round and blue and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and young and cold then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is big and cold then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and green then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and nice and rough then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and kind and big then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Eric is young.
True
1
proof
[(triple3)]
("Eric" "is" "young" "+")
triple3
Harry is not cold.
False
1
inv-proof
[(triple11)]
("Harry" "is" "cold" "-")
triple11
Harry is blue.
True
3
proof
[(((triple8 triple10) -> rule5))]
("Harry" "is" "blue" "+")
((triple8 triple10) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is not round.
False
3
inv-proof
[(((triple12 triple11) -> rule4) OR ((triple11 triple9 triple12) -> rule7))]
("Harry" "is" "round" "-")
((triple12 triple11) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple11 triple9 triple12) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
True
8
proof
[(((((triple12 triple11) -> rule4) ((triple8 triple10) -> rule5) triple11) -> rule2) OR ((((triple11 triple9 triple12) -> rule7) ((triple8 triple10) -> rule5) triple11) -> rule2))]
("Harry" "is" "nice" "+")
((((triple12 triple11) -> (rule4 % int3)) ((triple8 triple10) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple11 triple9 triple12) -> (rule7 % int3)) ((triple8 triple10) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is not nice.
False
8
inv-proof
[(((((triple12 triple11) -> rule4) ((triple8 triple10) -> rule5) triple11) -> rule2) OR ((((triple11 triple9 triple12) -> rule7) ((triple8 triple10) -> rule5) triple11) -> rule2))]
("Harry" "is" "nice" "-")
((((triple12 triple11) -> (rule4 % int3)) ((triple8 triple10) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple11 triple9 triple12) -> (rule7 % int3)) ((triple8 triple10) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is red.
True
15
proof
[(((((((triple12 triple11) -> rule4) ((triple8 triple10) -> rule5) triple11) -> rule2) ((triple12 triple11) -> rule4) ((triple8 triple10) -> rule5)) -> rule1) OR ((((((triple12 triple11) -> rule4) ((triple8 triple10) -> rule5) triple11) -> rule2) ((triple11 triple9 triple12) -> rule7) ((triple8 triple10) -> rule5)) -> rule1) OR ((((((triple11 triple9 triple12) -> rule7) ((triple8 triple10) -> rule5) triple11) -> rule2) ((triple12 triple11) -> rule4) ((triple8 triple10) -> rule5)) -> rule1) OR ((((((triple11 triple9 triple12) -> rule7) ((triple8 triple10) -> rule5) triple11) -> rule2) ((triple11 triple9 triple12) -> rule7) ((triple8 triple10) -> rule5)) -> rule1))]
("Harry" "is" "red" "+")
((((((triple12 triple11) -> (rule4 % int4)) ((triple8 triple10) -> (rule5 % int3)) triple11) -> (rule2 % int2)) ((triple12 triple11) -> (rule4 % int4)) ((triple8 triple10) -> (rule5 % int3))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((triple12 triple11) -> (rule4 % int4)) ((triple8 triple10) -> (rule5 % int3)) triple11) -> (rule2 % int2)) ((triple11 triple9 triple12) -> (rule7 % int4)) ((triple8 triple10) -> (rule5 % int3))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((triple11 triple9 triple12) -> (rule7 % int4)) ((triple8 triple10) -> (rule5 % int3)) triple11) -> (rule2 % int2)) ((triple12 triple11) -> (rule4 % int4)) ((triple8 triple10) -> (rule5 % int3))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((triple11 triple9 triple12) -> (rule7 % int4)) ((triple8 triple10) -> (rule5 % int3)) triple11) -> (rule2 % int2)) ((triple11 triple9 triple12) -> (rule7 % int4)) ((triple8 triple10) -> (rule5 % int3))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is not red.
False
15
inv-proof
[(((((((triple12 triple11) -> rule4) ((triple8 triple10) -> rule5) triple11) -> rule2) ((triple12 triple11) -> rule4) ((triple8 triple10) -> rule5)) -> rule1) OR ((((((triple12 triple11) -> rule4) ((triple8 triple10) -> rule5) triple11) -> rule2) ((triple11 triple9 triple12) -> rule7) ((triple8 triple10) -> rule5)) -> rule1) OR ((((((triple11 triple9 triple12) -> rule7) ((triple8 triple10) -> rule5) triple11) -> rule2) ((triple12 triple11) -> rule4) ((triple8 triple10) -> rule5)) -> rule1) OR ((((((triple11 triple9 triple12) -> rule7) ((triple8 triple10) -> rule5) triple11) -> rule2) ((triple11 triple9 triple12) -> rule7) ((triple8 triple10) -> rule5)) -> rule1))]
("Harry" "is" "red" "-")
((((((triple12 triple11) -> (rule4 % int4)) ((triple8 triple10) -> (rule5 % int3)) triple11) -> (rule2 % int2)) ((triple12 triple11) -> (rule4 % int4)) ((triple8 triple10) -> (rule5 % int3))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((triple12 triple11) -> (rule4 % int4)) ((triple8 triple10) -> (rule5 % int3)) triple11) -> (rule2 % int2)) ((triple11 triple9 triple12) -> (rule7 % int4)) ((triple8 triple10) -> (rule5 % int3))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((triple11 triple9 triple12) -> (rule7 % int4)) ((triple8 triple10) -> (rule5 % int3)) triple11) -> (rule2 % int2)) ((triple12 triple11) -> (rule4 % int4)) ((triple8 triple10) -> (rule5 % int3))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((triple11 triple9 triple12) -> (rule7 % int4)) ((triple8 triple10) -> (rule5 % int3)) triple11) -> (rule2 % int2)) ((triple11 triple9 triple12) -> (rule7 % int4)) ((triple8 triple10) -> (rule5 % int3))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "round" "-")
Eric is red.
Unknown
rconc
[@2: Eric is red.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Eric" "is" "red" "+")
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "blue" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
@0: Bob is nice.[(triple2)] Bob is round.[(triple1)] Eric is big.[(triple5)] Eric is nice.[(triple4)] Eric is young.[(triple3)] Gary is green.[(triple7)] Gary is nice.[(triple6)] Harry is big.[(triple12)] Harry is cold.[(triple11)] Harry is green.[(triple10)] Harry is kind.[(triple9)] Harry is rough.[(triple8)] @1: Harry is blue.[(((triple8 triple10) -> rule5))] Harry is round.[(((triple12 triple11) -> rule4) OR ((triple11 triple9 triple12) -> rule7))] @2: Harry is nice.[(((((triple12 triple11) -> rule4) ((triple8 triple10) -> rule5) triple11) -> rule2) OR ((((triple11 triple9 triple12) -> rule7) ((triple8 triple10) -> rule5) triple11) -> rule2))] @3: Harry is red.[(((((((triple12 triple11) -> rule4) ((triple8 triple10) -> rule5) triple11) -> rule2) ((triple12 triple11) -> rule4) ((triple8 triple10) -> rule5)) -> rule1) OR ((((((triple12 triple11) -> rule4) ((triple8 triple10) -> rule5) triple11) -> rule2) ((triple11 triple9 triple12) -> rule7) ((triple8 triple10) -> rule5)) -> rule1) OR ((((((triple11 triple9 triple12) -> rule7) ((triple8 triple10) -> rule5) triple11) -> rule2) ((triple12 triple11) -> rule4) ((triple8 triple10) -> rule5)) -> rule1) OR ((((((triple11 triple9 triple12) -> rule7) ((triple8 triple10) -> rule5) triple11) -> rule2) ((triple11 triple9 triple12) -> rule7) ((triple8 triple10) -> rule5)) -> rule1))]
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple5
Eric is nice.
("Eric" "is" "nice" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
((triple8 triple10) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple12 triple11) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple11 triple9 triple12) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((((triple12 triple11) -> (rule4 % int3)) ((triple8 triple10) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple11 triple9 triple12) -> (rule7 % int3)) ((triple8 triple10) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
((((((triple12 triple11) -> (rule4 % int4)) ((triple8 triple10) -> (rule5 % int3)) triple11) -> (rule2 % int2)) ((triple12 triple11) -> (rule4 % int4)) ((triple8 triple10) -> (rule5 % int3))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((triple12 triple11) -> (rule4 % int4)) ((triple8 triple10) -> (rule5 % int3)) triple11) -> (rule2 % int2)) ((triple11 triple9 triple12) -> (rule7 % int4)) ((triple8 triple10) -> (rule5 % int3))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((triple11 triple9 triple12) -> (rule7 % int4)) ((triple8 triple10) -> (rule5 % int3)) triple11) -> (rule2 % int2)) ((triple12 triple11) -> (rule4 % int4)) ((triple8 triple10) -> (rule5 % int3))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((triple11 triple9 triple12) -> (rule7 % int4)) ((triple8 triple10) -> (rule5 % int3)) triple11) -> (rule2 % int2)) ((triple11 triple9 triple12) -> (rule7 % int4)) ((triple8 triple10) -> (rule5 % int3))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Bob has a round face and is very nice.
Eric is a young and nice man, and he is also very big shaped.
Gary is green, which is a possible explanation for why he is so nice.
Harry is known for being big and green and rough around the edges but is still kind; Right now Harry is cold from the snow.
People who are nice, round and wearing blue will have red cheeks.
People who are round, blue and cold are usually nice.
Young people who rough around in the cold are known to be very red.
Big and cold people are likely to be round, too.
A green and quite rough person will also be blue.
Nice people who are kind, despite their rough skin, are big hearted.
Everyone knows that if you are cold, kind, and big, it goes without saying that you are round.