Alan is a nice person who is red because he has a rash. That rough but kind guy is Charlie, the green one. Fred is blue and cold. Gary has green teeth and rough skin. People also notice his blue eyes. If a kind person is also young and round shaped, they will be colored blue. If a person is red and green, then they will present as big. That young person is feeling cold because he is green to the situation making his body shape round. People blue with cold are definitely green and new in these parts. Big people who at the same time are cold hearted and nice are a conundrum but they are also kind. It's true that green and blue people are also red people.
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is kind and young and round then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is young and cold and green then they are round.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and nice and big then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and blue then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Charlie is rough.
True
1
proof
[(triple3)]
("Charlie" "is" "rough" "+")
triple3
Gary is not green.
False
1
inv-proof
[(triple9)]
("Gary" "is" "green" "-")
triple9
Fred is green.
True
3
proof
[(((triple7 triple6) -> rule4))]
("Fred" "is" "green" "+")
((triple7 triple6) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is not green.
False
3
inv-proof
[(((triple7 triple6) -> rule4))]
("Fred" "is" "green" "-")
((triple7 triple6) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
True
5
proof
[(((((triple7 triple6) -> rule4) triple7) -> rule6))]
("Fred" "is" "red" "+")
((((triple7 triple6) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Gary is not big.
False
5
inv-proof
[(((((triple9 triple10) -> rule6) triple9) -> rule2))]
("Gary" "is" "big" "-")
((((triple9 triple10) -> (rule6 % int2)) triple9) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Fred is big.
True
9
proof
[(((((((triple7 triple6) -> rule4) triple7) -> rule6) ((triple7 triple6) -> rule4)) -> rule2))]
("Fred" "is" "big" "+")
((((((triple7 triple6) -> (rule4 % int3)) triple7) -> (rule6 % int2)) ((triple7 triple6) -> (rule4 % int3))) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is not big.
False
9
inv-proof
[(((((((triple7 triple6) -> rule4) triple7) -> rule6) ((triple7 triple6) -> rule4)) -> rule2))]
("Fred" "is" "big" "-")
((((((triple7 triple6) -> (rule4 % int3)) triple7) -> (rule6 % int2)) ((triple7 triple6) -> (rule4 % int3))) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Charlie is not big.
Unknown
inv-rconc
[@3: Charlie is big.[CWA. Example of deepest failure = (rule2 <- rule6 <- rule1 <- FAIL)]]
("Charlie" "is" "big" "-")
Fred is kind.
Unknown
rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "kind" "+")
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "round" "-")
Charlie is red.
Unknown
rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Charlie" "is" "red" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Alan is nice.[(triple2)] Alan is red.[(triple1)] Charlie is green.[(triple5)] Charlie is kind.[(triple4)] Charlie is rough.[(triple3)] Fred is blue.[(triple7)] Fred is cold.[(triple6)] Gary is blue.[(triple10)] Gary is green.[(triple9)] Gary is rough.[(triple8)] @1: Fred is green.[(((triple7 triple6) -> rule4))] Gary is red.[(((triple9 triple10) -> rule6))] @2: Fred is red.[(((((triple7 triple6) -> rule4) triple7) -> rule6))] Gary is big.[(((((triple9 triple10) -> rule6) triple9) -> rule2))] @3: Fred is big.[(((((((triple7 triple6) -> rule4) triple7) -> rule6) ((triple7 triple6) -> rule4)) -> rule2))]
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Fred is cold.
("Fred" "is" "cold" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Fred is green.
("Fred" "is" "green" "+")
((triple7 triple6) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple9 triple10) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((((triple7 triple6) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((((triple9 triple10) -> (rule6 % int2)) triple9) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
((((((triple7 triple6) -> (rule4 % int3)) triple7) -> (rule6 % int2)) ((triple7 triple6) -> (rule4 % int3))) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Alan is a nice person who is red because he has a rash.
That rough but kind guy is Charlie, the green one.
Fred is blue and cold.
Gary has green teeth and rough skin; People also notice his blue eyes.
If a kind person is also young and round shaped, they will be colored blue.
If a person is red and green, then they will present as big.
That young person is feeling cold because he is green to the situation making his body shape round.
People blue with cold are definitely green and new in these parts.
Big people who at the same time are cold hearted and nice are a conundrum but they are also kind.
It's true that green and blue people are also red people.