Red Alan is what folks call him, because he is quite red. Upon meeting Fred, you'll notice he's green and kind. Big, round Gary is liked by everyone one.  He is easily recognized with his red and green skin. Big Harry is a nice young man who also happens to be red. When young, round people are cold it their skin gets a blue tinge to it. Soon you will understand that big people are nice. Someone who is round in shape and green in color is usually cold. Big and green people who feel cold are usually young in age. I have found that young, blue, and big individuals are also red. Cold, green people have a habit of eating alot and looking quite round. A kind person who is green is usually round.
Alan is red.
("Alan" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is young and round and cold then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and round then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and big and cold then they are young.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is young and blue and big then they are red.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and green then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and green then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Gary is red.
True
1
proof
[(triple5 OR ((((triple6 triple7 ((triple6 triple4) -> rule3)) -> rule4) ((((triple6 triple7 ((triple6 triple4) -> rule3)) -> rule4) triple4 ((triple6 triple4) -> rule3)) -> rule1) triple7) -> rule5))]
("Gary" "is" "red" "+")
triple5
((((triple6 triple7 ((triple6 triple4) -> (rule3 % int4))) -> (rule4 % int3)) ((((triple6 triple7 ((triple6 triple4) -> (rule3 % int4))) -> (rule4 % int3)) triple4 ((triple6 triple4) -> (rule3 % int4))) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is not green.
False
1
inv-proof
[(triple6)]
("Gary" "is" "green" "-")
triple6
Gary is nice.
True
2
proof
[(((triple7) -> rule2))]
("Gary" "is" "nice" "+")
((triple7) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not nice.
False
2
inv-proof
[(((triple7) -> rule2))]
("Gary" "is" "nice" "-")
((triple7) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
True
6
proof
[(((triple6 triple7 ((triple6 triple4) -> rule3)) -> rule4))]
("Gary" "is" "young" "+")
((triple6 triple7 ((triple6 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Fred is not cold.
False
5
inv-proof
[(((triple3 ((triple2 triple3) -> rule7)) -> rule3))]
("Fred" "is" "cold" "-")
((triple3 ((triple2 triple3) -> (rule7 % int2))) -> (rule3 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Gary is blue.
True
11
proof
[(((((triple6 triple7 ((triple6 triple4) -> rule3)) -> rule4) triple4 ((triple6 triple4) -> rule3)) -> rule1))]
("Gary" "is" "blue" "+")
((((triple6 triple7 ((triple6 triple4) -> (rule3 % int3))) -> (rule4 % int2)) triple4 ((triple6 triple4) -> (rule3 % int3))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is not blue.
False
11
inv-proof
[(((((triple6 triple7 ((triple6 triple4) -> rule3)) -> rule4) triple4 ((triple6 triple4) -> rule3)) -> rule1))]
("Gary" "is" "blue" "-")
((((triple6 triple7 ((triple6 triple4) -> (rule3 % int3))) -> (rule4 % int2)) triple4 ((triple6 triple4) -> (rule3 % int3))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "nice" "-")
Fred is red.
Unknown
rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "red" "+")
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "nice" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "cold" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Alan is red.[(triple1)] Fred is green.[(triple3)] Fred is kind.[(triple2)] Gary is big.[(triple7)] Gary is green.[(triple6)] Gary is red.[(triple5 OR ((((triple6 triple7 ((triple6 triple4) -> rule3)) -> rule4) ((((triple6 triple7 ((triple6 triple4) -> rule3)) -> rule4) triple4 ((triple6 triple4) -> rule3)) -> rule1) triple7) -> rule5))] Gary is round.[(triple4)] Harry is big.[(triple11)] Harry is nice.[(triple10 OR ((triple11) -> rule2))] Harry is red.[(triple9)] Harry is young.[(triple8)] @1: Fred is round.[(((triple2 triple3) -> rule7))] Gary is cold.[(((triple6 triple4) -> rule3))] Gary is nice.[(((triple7) -> rule2))] @2: Fred is cold.[(((triple3 ((triple2 triple3) -> rule7)) -> rule3))] Gary is young.[(((triple6 triple7 ((triple6 triple4) -> rule3)) -> rule4))] @3: Gary is blue.[(((((triple6 triple7 ((triple6 triple4) -> rule3)) -> rule4) triple4 ((triple6 triple4) -> rule3)) -> rule1))]
Alan is red.
("Alan" "is" "red" "+")
triple1
Fred is green.
("Fred" "is" "green" "+")
triple3
Fred is kind.
("Fred" "is" "kind" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple5
((((triple6 triple7 ((triple6 triple4) -> (rule3 % int4))) -> (rule4 % int3)) ((((triple6 triple7 ((triple6 triple4) -> (rule3 % int4))) -> (rule4 % int3)) triple4 ((triple6 triple4) -> (rule3 % int4))) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
((triple11) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Fred is round.
("Fred" "is" "round" "+")
((triple2 triple3) -> (rule7 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple6 triple4) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple7) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((triple3 ((triple2 triple3) -> (rule7 % int2))) -> (rule3 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((triple6 triple7 ((triple6 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((((triple6 triple7 ((triple6 triple4) -> (rule3 % int3))) -> (rule4 % int2)) triple4 ((triple6 triple4) -> (rule3 % int3))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Red Alan is what folks call him, because he is quite red.
Upon meeting Fred, you'll notice he's green and kind.
Big, round Gary is liked by everyone one; He is easily recognized with his red and green skin.
Big Harry is a nice young man who also happens to be red.
When young, round people are cold it their skin gets a blue tinge to it.
Soon you will understand that big people are nice.
Someone who is round in shape and green in color is usually cold.
Big and green people who feel cold are usually young in age.
I have found that young, blue, and big individuals are also red.
Cold, green people have a habit of eating alot and looking quite round.
A kind person who is green is usually round.