Alan ate some rotten meat and now feels green. Fred is green, which is a possible explanation for why he is so nice. Gary is young and kind.  But he plays really rough with his friends. Even though he's a big dude, Harry is cold. Someone who is both red and blue will also be a nice person. Anyone that's rough and cold is also going to be blue. If a human is both young and kind, they are also cold. A person with big hair and rough lips is certainly young and jaded. Someone who is blue and cold is also big. Everyone knows that if you are cold, kind, and big, it goes without saying that you are round. Kind people, for example, like the ones at the bank are always blue.
Alan is green.
("Alan" "is" "green" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is red and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and big then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and cold then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("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" "+"))
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Harry is big.
True
1
proof
[(triple8)]
("Harry" "is" "big" "+")
triple8
Gary is not rough.
False
1
inv-proof
[(triple5)]
("Gary" "is" "rough" "-")
triple5
Gary is cold.
True
3
proof
[(((triple4 triple6) -> rule3))]
("Gary" "is" "cold" "+")
((triple4 triple6) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
3
inv-proof
[(((triple4 triple6) -> rule3))]
("Gary" "is" "cold" "-")
((triple4 triple6) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
True
6
proof
[(((((triple6) -> rule7) ((triple4 triple6) -> rule3)) -> rule5) OR ((((((triple4 triple6) -> rule3) triple5) -> rule2) ((triple4 triple6) -> rule3)) -> rule5))]
("Gary" "is" "big" "+")
((((triple6) -> (rule7 % int3)) ((triple4 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((((triple4 triple6) -> (rule3 % int3)) triple5) -> (rule2 % int2)) ((triple4 triple6) -> (rule3 % int3))) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is not big.
False
6
inv-proof
[(((((triple6) -> rule7) ((triple4 triple6) -> rule3)) -> rule5) OR ((((((triple4 triple6) -> rule3) triple5) -> rule2) ((triple4 triple6) -> rule3)) -> rule5))]
("Gary" "is" "big" "-")
((((triple6) -> (rule7 % int3)) ((triple4 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((((triple4 triple6) -> (rule3 % int3)) triple5) -> (rule2 % int2)) ((triple4 triple6) -> (rule3 % int3))) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is round.
True
11
proof
[(((((triple4 triple6) -> rule3) triple6 ((((triple6) -> rule7) ((triple4 triple6) -> rule3)) -> rule5)) -> rule6) OR ((((triple4 triple6) -> rule3) triple6 ((((((triple4 triple6) -> rule3) triple5) -> rule2) ((triple4 triple6) -> rule3)) -> rule5)) -> rule6))]
("Gary" "is" "round" "+")
((((triple4 triple6) -> (rule3 % int4)) triple6 ((((triple6) -> (rule7 % int3)) ((triple4 triple6) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((triple4 triple6) -> (rule3 % int4)) triple6 ((((((triple4 triple6) -> (rule3 % int4)) triple5) -> (rule2 % int3)) ((triple4 triple6) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is not round.
False
11
inv-proof
[(((((triple4 triple6) -> rule3) triple6 ((((triple6) -> rule7) ((triple4 triple6) -> rule3)) -> rule5)) -> rule6) OR ((((triple4 triple6) -> rule3) triple6 ((((((triple4 triple6) -> rule3) triple5) -> rule2) ((triple4 triple6) -> rule3)) -> rule5)) -> rule6))]
("Gary" "is" "round" "-")
((((triple4 triple6) -> (rule3 % int4)) triple6 ((((triple6) -> (rule7 % int3)) ((triple4 triple6) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((triple4 triple6) -> (rule3 % int4)) triple6 ((((((triple4 triple6) -> (rule3 % int4)) triple5) -> (rule2 % int3)) ((triple4 triple6) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "-")
Alan is nice.
Unknown
rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "nice" "+")
Alan is not cold.
Unknown
inv-rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "cold" "-")
Fred is round.
Unknown
rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "round" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Fred is rough.
Unknown
random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "+")
@0: Alan is green.[(triple1)] Fred is green.[(triple3)] Fred is nice.[(triple2)] Gary is kind.[(triple6)] Gary is rough.[(triple5)] Gary is young.[(triple4)] Harry is big.[(triple8)] Harry is cold.[(triple7)] @1: Gary is blue.[(((triple6) -> rule7) OR ((((triple4 triple6) -> rule3) triple5) -> rule2))] Gary is cold.[(((triple4 triple6) -> rule3))] @2: Gary is big.[(((((triple6) -> rule7) ((triple4 triple6) -> rule3)) -> rule5) OR ((((((triple4 triple6) -> rule3) triple5) -> rule2) ((triple4 triple6) -> rule3)) -> rule5))] @3: Gary is round.[(((((triple4 triple6) -> rule3) triple6 ((((triple6) -> rule7) ((triple4 triple6) -> rule3)) -> rule5)) -> rule6) OR ((((triple4 triple6) -> rule3) triple6 ((((((triple4 triple6) -> rule3) triple5) -> rule2) ((triple4 triple6) -> rule3)) -> rule5)) -> rule6))]
Alan is green.
("Alan" "is" "green" "+")
triple1
Fred is green.
("Fred" "is" "green" "+")
triple3
Fred is nice.
("Fred" "is" "nice" "+")
triple2
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
((triple6) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple4 triple6) -> (rule3 % int2)) triple5) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((triple4 triple6) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((((triple6) -> (rule7 % int3)) ((triple4 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((((triple4 triple6) -> (rule3 % int3)) triple5) -> (rule2 % int2)) ((triple4 triple6) -> (rule3 % int3))) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
((((triple4 triple6) -> (rule3 % int4)) triple6 ((((triple6) -> (rule7 % int3)) ((triple4 triple6) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((triple4 triple6) -> (rule3 % int4)) triple6 ((((((triple4 triple6) -> (rule3 % int4)) triple5) -> (rule2 % int3)) ((triple4 triple6) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Alan ate some rotten meat and now feels green.
Fred is green, which is a possible explanation for why he is so nice.
Gary is young and kind; But he plays really rough with his friends.
Even though he's a big dude, Harry is cold.
Someone who is both red and blue will also be a nice person.
Anyone that's rough and cold is also going to be blue.
If a human is both young and kind, they are also cold.
A person with big hair and rough lips is certainly young and jaded.
Someone who is blue and cold is also big.
Everyone knows that if you are cold, kind, and big, it goes without saying that you are round.
Kind people, for example, like the ones at the bank are always blue.