Alan is nice and kind. He is green with envy which makes him feel blue. Red Charlie is what folks call him, because he is quite red. Fred is blue from ink he spilled on himself while being kind and helping some children paint. Gary is interestingly colored red and blue, and is also very kind. This person is nice and young, also round, which makes them cold. I have found that blue, kind people are big. Rough people are often always nice. When a person's traits are to be big, blue and cold, they will also have a red trait. Nice people who are big are always cold because they can't find space near the heater. When you meet kind people they wont have a cold heart. A red and green colored person who is cold will be round shaped.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is young and nice and round then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and kind then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and cold and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is big and nice then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind then they are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and cold and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Gary is kind.
True
1
proof
[(triple9)]
("Gary" "is" "kind" "+")
triple9
Charlie is not red.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "red" "-")
triple5
Gary is cold.
True
2
proof
[(((triple9) -> rule6))]
("Gary" "is" "cold" "+")
((triple9) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
2
inv-proof
[(((triple9) -> rule6))]
("Gary" "is" "cold" "-")
((triple9) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Alan is red.
True
7
proof
[(((((triple4 triple2) -> rule2) ((triple2) -> rule6) triple4) -> rule4) OR ((((triple4 triple2) -> rule2) ((((triple4 triple2) -> rule2) triple1) -> rule5) triple4) -> rule4))]
("Alan" "is" "red" "+")
((((triple4 triple2) -> (rule2 % int3)) ((triple2) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
((((triple4 triple2) -> (rule2 % int3)) ((((triple4 triple2) -> (rule2 % int3)) triple1) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Fred is not red.
False
7
inv-proof
[(((((triple7 triple6) -> rule2) ((triple6) -> rule6) triple7) -> rule4))]
("Fred" "is" "red" "-")
((((triple7 triple6) -> (rule2 % int3)) ((triple6) -> (rule6 % int2)) triple7) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Alan is round.
True
11
proof
[(((((((triple4 triple2) -> rule2) ((triple2) -> rule6) triple4) -> rule4) ((triple2) -> rule6) triple3) -> rule7) OR ((((((triple4 triple2) -> rule2) ((triple2) -> rule6) triple4) -> rule4) ((((triple4 triple2) -> rule2) triple1) -> rule5) triple3) -> rule7) OR ((((((triple4 triple2) -> rule2) ((((triple4 triple2) -> rule2) triple1) -> rule5) triple4) -> rule4) ((triple2) -> rule6) triple3) -> rule7) OR ((((((triple4 triple2) -> rule2) ((((triple4 triple2) -> rule2) triple1) -> rule5) triple4) -> rule4) ((((triple4 triple2) -> rule2) triple1) -> rule5) triple3) -> rule7))]
("Alan" "is" "round" "+")
((((((triple4 triple2) -> (rule2 % int4)) ((triple2) -> (rule6 % int3)) triple4) -> (rule4 % int2)) ((triple2) -> (rule6 % int3)) triple3) -> (rule7 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
((((((triple4 triple2) -> (rule2 % int4)) ((triple2) -> (rule6 % int3)) triple4) -> (rule4 % int2)) ((((triple4 triple2) -> (rule2 % int4)) triple1) -> (rule5 % int3)) triple3) -> (rule7 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
((((((triple4 triple2) -> (rule2 % int4)) ((((triple4 triple2) -> (rule2 % int4)) triple1) -> (rule5 % int3)) triple4) -> (rule4 % int2)) ((triple2) -> (rule6 % int3)) triple3) -> (rule7 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
((((((triple4 triple2) -> (rule2 % int4)) ((((triple4 triple2) -> (rule2 % int4)) triple1) -> (rule5 % int3)) triple4) -> (rule4 % int2)) ((((triple4 triple2) -> (rule2 % int4)) triple1) -> (rule5 % int3)) triple3) -> (rule7 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Alan is not round.
False
11
inv-proof
[(((((((triple4 triple2) -> rule2) ((triple2) -> rule6) triple4) -> rule4) ((triple2) -> rule6) triple3) -> rule7) OR ((((((triple4 triple2) -> rule2) ((triple2) -> rule6) triple4) -> rule4) ((((triple4 triple2) -> rule2) triple1) -> rule5) triple3) -> rule7) OR ((((((triple4 triple2) -> rule2) ((((triple4 triple2) -> rule2) triple1) -> rule5) triple4) -> rule4) ((triple2) -> rule6) triple3) -> rule7) OR ((((((triple4 triple2) -> rule2) ((((triple4 triple2) -> rule2) triple1) -> rule5) triple4) -> rule4) ((((triple4 triple2) -> rule2) triple1) -> rule5) triple3) -> rule7))]
("Alan" "is" "round" "-")
((((((triple4 triple2) -> (rule2 % int4)) ((triple2) -> (rule6 % int3)) triple4) -> (rule4 % int2)) ((triple2) -> (rule6 % int3)) triple3) -> (rule7 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
((((((triple4 triple2) -> (rule2 % int4)) ((triple2) -> (rule6 % int3)) triple4) -> (rule4 % int2)) ((((triple4 triple2) -> (rule2 % int4)) triple1) -> (rule5 % int3)) triple3) -> (rule7 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
((((((triple4 triple2) -> (rule2 % int4)) ((((triple4 triple2) -> (rule2 % int4)) triple1) -> (rule5 % int3)) triple4) -> (rule4 % int2)) ((triple2) -> (rule6 % int3)) triple3) -> (rule7 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
((((((triple4 triple2) -> (rule2 % int4)) ((((triple4 triple2) -> (rule2 % int4)) triple1) -> (rule5 % int3)) triple4) -> (rule4 % int2)) ((((triple4 triple2) -> (rule2 % int4)) triple1) -> (rule5 % int3)) triple3) -> (rule7 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "nice" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "round" "+")
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "nice" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "round" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Alan is blue.[(triple4)] Alan is green.[(triple3)] Alan is kind.[(triple2)] Alan is nice.[(triple1)] Charlie is red.[(triple5)] Fred is blue.[(triple7)] Fred is kind.[(triple6)] Gary is blue.[(triple10)] Gary is kind.[(triple9)] Gary is red.[(triple8 OR ((((triple10 triple9) -> rule2) ((triple9) -> rule6) triple10) -> rule4))] @1: Alan is big.[(((triple4 triple2) -> rule2))] Alan is cold.[(((triple2) -> rule6) OR ((((triple4 triple2) -> rule2) triple1) -> rule5))] Fred is big.[(((triple7 triple6) -> rule2))] Fred is cold.[(((triple6) -> rule6))] Gary is big.[(((triple10 triple9) -> rule2))] Gary is cold.[(((triple9) -> rule6))] @2: Alan is red.[(((((triple4 triple2) -> rule2) ((triple2) -> rule6) triple4) -> rule4) OR ((((triple4 triple2) -> rule2) ((((triple4 triple2) -> rule2) triple1) -> rule5) triple4) -> rule4))] Fred is red.[(((((triple7 triple6) -> rule2) ((triple6) -> rule6) triple7) -> rule4))] @3: Alan is round.[(((((((triple4 triple2) -> rule2) ((triple2) -> rule6) triple4) -> rule4) ((triple2) -> rule6) triple3) -> rule7) OR ((((((triple4 triple2) -> rule2) ((triple2) -> rule6) triple4) -> rule4) ((((triple4 triple2) -> rule2) triple1) -> rule5) triple3) -> rule7) OR ((((((triple4 triple2) -> rule2) ((((triple4 triple2) -> rule2) triple1) -> rule5) triple4) -> rule4) ((triple2) -> rule6) triple3) -> rule7) OR ((((((triple4 triple2) -> rule2) ((((triple4 triple2) -> rule2) triple1) -> rule5) triple4) -> rule4) ((((triple4 triple2) -> rule2) triple1) -> rule5) triple3) -> rule7))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
((((triple10 triple9) -> (rule2 % int3)) ((triple9) -> (rule6 % int2)) triple10) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
((triple4 triple2) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
((triple2) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
((((triple4 triple2) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
((triple7 triple6) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((triple6) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple10 triple9) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple9) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
((((triple4 triple2) -> (rule2 % int3)) ((triple2) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
((((triple4 triple2) -> (rule2 % int3)) ((((triple4 triple2) -> (rule2 % int3)) triple1) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
((((triple7 triple6) -> (rule2 % int3)) ((triple6) -> (rule6 % int2)) triple7) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
((((((triple4 triple2) -> (rule2 % int4)) ((triple2) -> (rule6 % int3)) triple4) -> (rule4 % int2)) ((triple2) -> (rule6 % int3)) triple3) -> (rule7 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
((((((triple4 triple2) -> (rule2 % int4)) ((triple2) -> (rule6 % int3)) triple4) -> (rule4 % int2)) ((((triple4 triple2) -> (rule2 % int4)) triple1) -> (rule5 % int3)) triple3) -> (rule7 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
((((((triple4 triple2) -> (rule2 % int4)) ((((triple4 triple2) -> (rule2 % int4)) triple1) -> (rule5 % int3)) triple4) -> (rule4 % int2)) ((triple2) -> (rule6 % int3)) triple3) -> (rule7 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
((((((triple4 triple2) -> (rule2 % int4)) ((((triple4 triple2) -> (rule2 % int4)) triple1) -> (rule5 % int3)) triple4) -> (rule4 % int2)) ((((triple4 triple2) -> (rule2 % int4)) triple1) -> (rule5 % int3)) triple3) -> (rule7 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Alan is nice and kind; He is green with envy which makes him feel blue.
Red Charlie is what folks call him, because he is quite red.
Fred is blue from ink he spilled on himself while being kind and helping some children paint.
Gary is interestingly colored red and blue, and is also very kind.
This person is nice and young, also round, which makes them cold.
I have found that blue, kind people are big.
Rough people are often always nice.
When a person's traits are to be big, blue and cold, they will also have a red trait.
Nice people who are big are always cold because they can't find space near the heater.
When you meet kind people they wont have a cold heart.
A red and green colored person who is cold will be round shaped.