Alan who is big in stature is almost always nice even when he is cold. Red Charlie is what folks call him, because he is quite red. From a certain angle Eric is blue but he is young so maybe that will go away. Gary is nice and kind. He is green with envy which makes him feel blue. Kind young people are red. If you meet someone who is red and blue with a round shape, you can count on them being nice to you. If a person that is blue and green is also cold, that means that they are young. A person who is round and nice is cold. A blue and green colored person will be round in shape. Kind people, for example, like the ones at the bank are always blue.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is kind and young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and red and round then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and blue and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and round then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and green then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Alan is cold.
True
1
proof
[(triple2)]
("Alan" "is" "cold" "+")
triple2
Gary is not green.
False
1
inv-proof
[(triple9)]
("Gary" "is" "green" "-")
triple9
Gary is round.
True
3
proof
[(((triple10 triple9) -> rule5) OR ((((triple8) -> rule6) triple9) -> rule5))]
("Gary" "is" "round" "+")
((triple10 triple9) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is not round.
False
3
inv-proof
[(((triple10 triple9) -> rule5) OR ((((triple8) -> rule6) triple9) -> rule5))]
("Gary" "is" "round" "-")
((triple10 triple9) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
True
5
proof
[(((triple7 ((triple10 triple9) -> rule5)) -> rule4) OR ((triple7 ((((triple8) -> rule6) triple9) -> rule5)) -> rule4))]
("Gary" "is" "cold" "+")
((triple7 ((triple10 triple9) -> (rule5 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((triple7 ((((triple8) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is not cold.
False
5
inv-proof
[(((triple7 ((triple10 triple9) -> rule5)) -> rule4) OR ((triple7 ((((triple8) -> rule6) triple9) -> rule5)) -> rule4))]
("Gary" "is" "cold" "-")
((triple7 ((triple10 triple9) -> (rule5 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((triple7 ((((triple8) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is young.
True
8
proof
[(((((triple7 ((triple10 triple9) -> rule5)) -> rule4) triple10 triple9) -> rule3) OR ((((triple7 ((triple10 triple9) -> rule5)) -> rule4) ((triple8) -> rule6) triple9) -> rule3) OR ((((triple7 ((((triple8) -> rule6) triple9) -> rule5)) -> rule4) triple10 triple9) -> rule3) OR ((((triple7 ((((triple8) -> rule6) triple9) -> rule5)) -> rule4) ((triple8) -> rule6) triple9) -> rule3))]
("Gary" "is" "young" "+")
((((triple7 ((triple10 triple9) -> (rule5 % int3))) -> (rule4 % int2)) triple10 triple9) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple7 ((triple10 triple9) -> (rule5 % int4))) -> (rule4 % int3)) ((triple8) -> (rule6 % int2)) triple9) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((triple7 ((((triple8) -> (rule6 % int4)) triple9) -> (rule5 % int3))) -> (rule4 % int2)) triple10 triple9) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple7 ((((triple8) -> (rule6 % int4)) triple9) -> (rule5 % int3))) -> (rule4 % int2)) ((triple8) -> (rule6 % int4)) triple9) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is not young.
False
8
inv-proof
[(((((triple7 ((triple10 triple9) -> rule5)) -> rule4) triple10 triple9) -> rule3) OR ((((triple7 ((triple10 triple9) -> rule5)) -> rule4) ((triple8) -> rule6) triple9) -> rule3) OR ((((triple7 ((((triple8) -> rule6) triple9) -> rule5)) -> rule4) triple10 triple9) -> rule3) OR ((((triple7 ((((triple8) -> rule6) triple9) -> rule5)) -> rule4) ((triple8) -> rule6) triple9) -> rule3))]
("Gary" "is" "young" "-")
((((triple7 ((triple10 triple9) -> (rule5 % int3))) -> (rule4 % int2)) triple10 triple9) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple7 ((triple10 triple9) -> (rule5 % int4))) -> (rule4 % int3)) ((triple8) -> (rule6 % int2)) triple9) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((triple7 ((((triple8) -> (rule6 % int4)) triple9) -> (rule5 % int3))) -> (rule4 % int2)) triple10 triple9) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple7 ((((triple8) -> (rule6 % int4)) triple9) -> (rule5 % int3))) -> (rule4 % int2)) ((triple8) -> (rule6 % int4)) triple9) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is red.
True
10
proof
[(((triple8 ((((triple7 ((triple10 triple9) -> rule5)) -> rule4) triple10 triple9) -> rule3)) -> rule1) OR ((triple8 ((((triple7 ((triple10 triple9) -> rule5)) -> rule4) ((triple8) -> rule6) triple9) -> rule3)) -> rule1) OR ((triple8 ((((triple7 ((((triple8) -> rule6) triple9) -> rule5)) -> rule4) triple10 triple9) -> rule3)) -> rule1) OR ((triple8 ((((triple7 ((((triple8) -> rule6) triple9) -> rule5)) -> rule4) ((triple8) -> rule6) triple9) -> rule3)) -> rule1))]
("Gary" "is" "red" "+")
((triple8 ((((triple7 ((triple10 triple9) -> (rule5 % int4))) -> (rule4 % int3)) triple10 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((triple8 ((((triple7 ((triple10 triple9) -> (rule5 % int5))) -> (rule4 % int4)) ((triple8) -> (rule6 % int3)) triple9) -> (rule3 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((triple8 ((((triple7 ((((triple8) -> (rule6 % int5)) triple9) -> (rule5 % int4))) -> (rule4 % int3)) triple10 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((triple8 ((((triple7 ((((triple8) -> (rule6 % int5)) triple9) -> (rule5 % int4))) -> (rule4 % int3)) ((triple8) -> (rule6 % int5)) triple9) -> (rule3 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
Gary is not red.
False
10
inv-proof
[(((triple8 ((((triple7 ((triple10 triple9) -> rule5)) -> rule4) triple10 triple9) -> rule3)) -> rule1) OR ((triple8 ((((triple7 ((triple10 triple9) -> rule5)) -> rule4) ((triple8) -> rule6) triple9) -> rule3)) -> rule1) OR ((triple8 ((((triple7 ((((triple8) -> rule6) triple9) -> rule5)) -> rule4) triple10 triple9) -> rule3)) -> rule1) OR ((triple8 ((((triple7 ((((triple8) -> rule6) triple9) -> rule5)) -> rule4) ((triple8) -> rule6) triple9) -> rule3)) -> rule1))]
("Gary" "is" "red" "-")
((triple8 ((((triple7 ((triple10 triple9) -> (rule5 % int4))) -> (rule4 % int3)) triple10 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((triple8 ((((triple7 ((triple10 triple9) -> (rule5 % int5))) -> (rule4 % int4)) ((triple8) -> (rule6 % int3)) triple9) -> (rule3 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((triple8 ((((triple7 ((((triple8) -> (rule6 % int5)) triple9) -> (rule5 % int4))) -> (rule4 % int3)) triple10 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((triple8 ((((triple7 ((((triple8) -> (rule6 % int5)) triple9) -> (rule5 % int4))) -> (rule4 % int3)) ((triple8) -> (rule6 % int5)) triple9) -> (rule3 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
Eric is not red.
Unknown
inv-rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "red" "-")
Eric is cold.
Unknown
rconc
[@2: Eric is cold.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Eric" "is" "cold" "+")
Alan is not blue.
Unknown
inv-rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "blue" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "red" "+")
Alan is not young.
Unknown
inv-rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "young" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
@0: Alan is big.[(triple3)] Alan is cold.[(triple2)] Alan is nice.[(triple1)] Charlie is red.[(triple4)] Eric is blue.[(triple6)] Eric is young.[(triple5)] Gary is blue.[(triple10 OR ((triple8) -> rule6))] Gary is green.[(triple9)] Gary is kind.[(triple8)] Gary is nice.[(triple7)] @1: Gary is round.[(((triple10 triple9) -> rule5) OR ((((triple8) -> rule6) triple9) -> rule5))] @2: Gary is cold.[(((triple7 ((triple10 triple9) -> rule5)) -> rule4) OR ((triple7 ((((triple8) -> rule6) triple9) -> rule5)) -> rule4))] @3: Gary is young.[(((((triple7 ((triple10 triple9) -> rule5)) -> rule4) triple10 triple9) -> rule3) OR ((((triple7 ((triple10 triple9) -> rule5)) -> rule4) ((triple8) -> rule6) triple9) -> rule3) OR ((((triple7 ((((triple8) -> rule6) triple9) -> rule5)) -> rule4) triple10 triple9) -> rule3) OR ((((triple7 ((((triple8) -> rule6) triple9) -> rule5)) -> rule4) ((triple8) -> rule6) triple9) -> rule3))] @4: Gary is red.[(((triple8 ((((triple7 ((triple10 triple9) -> rule5)) -> rule4) triple10 triple9) -> rule3)) -> rule1) OR ((triple8 ((((triple7 ((triple10 triple9) -> rule5)) -> rule4) ((triple8) -> rule6) triple9) -> rule3)) -> rule1) OR ((triple8 ((((triple7 ((((triple8) -> rule6) triple9) -> rule5)) -> rule4) triple10 triple9) -> rule3)) -> rule1) OR ((triple8 ((((triple7 ((((triple8) -> rule6) triple9) -> rule5)) -> rule4) ((triple8) -> rule6) triple9) -> rule3)) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is young.
("Eric" "is" "young" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple10
((triple8) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
((triple10 triple9) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((triple7 ((triple10 triple9) -> (rule5 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((triple7 ((((triple8) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
((((triple7 ((triple10 triple9) -> (rule5 % int3))) -> (rule4 % int2)) triple10 triple9) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple7 ((triple10 triple9) -> (rule5 % int4))) -> (rule4 % int3)) ((triple8) -> (rule6 % int2)) triple9) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((triple7 ((((triple8) -> (rule6 % int4)) triple9) -> (rule5 % int3))) -> (rule4 % int2)) triple10 triple9) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple7 ((((triple8) -> (rule6 % int4)) triple9) -> (rule5 % int3))) -> (rule4 % int2)) ((triple8) -> (rule6 % int4)) triple9) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
((triple8 ((((triple7 ((triple10 triple9) -> (rule5 % int4))) -> (rule4 % int3)) triple10 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((triple8 ((((triple7 ((triple10 triple9) -> (rule5 % int5))) -> (rule4 % int4)) ((triple8) -> (rule6 % int3)) triple9) -> (rule3 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((triple8 ((((triple7 ((((triple8) -> (rule6 % int5)) triple9) -> (rule5 % int4))) -> (rule4 % int3)) triple10 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((triple8 ((((triple7 ((((triple8) -> (rule6 % int5)) triple9) -> (rule5 % int4))) -> (rule4 % int3)) ((triple8) -> (rule6 % int5)) triple9) -> (rule3 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
Alan who is big in stature is almost always nice even when he is cold.
Red Charlie is what folks call him, because he is quite red.
From a certain angle Eric is blue but he is young so maybe that will go away.
Gary is nice and kind; He is green with envy which makes him feel blue.
Kind young people are red.
If you meet someone who is red and blue with a round shape, you can count on them being nice to you.
If a person that is blue and green is also cold, that means that they are young.
A person who is round and nice is cold.
A blue and green colored person will be round in shape.
Kind people, for example, like the ones at the bank are always blue.