Red Charlie is what folks call him, because he is quite red. Dave ate some rotten meat and now feels green. Eric is nice and kind. He is green with envy which makes him feel blue. Gary was born only a few years ago so he is young. A round person who is nice and feelin cold is usually rough in apperance. A green person who is kind and a bit blue is young. If you meet a nice, young, red man, you will see that they are big too. Round, rough people blue with sadness turn out to be green. Any big, kind person that turns red is cold to the touch. Being green, blue, and red all point to how young someone was. It's true that green and blue people are also red people.
Charlie is red.
("Charlie" "is" "red" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is round and nice and cold then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and kind and green then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is young and nice and red then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and round and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is red and big and kind then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and blue and red then they are young.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is green and blue then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Eric is blue.
True
1
proof
[(triple6)]
("Eric" "is" "blue" "+")
triple6
Eric is not kind.
False
1
inv-proof
[(triple4)]
("Eric" "is" "kind" "-")
triple4
Eric is red.
True
3
proof
[(((triple5 triple6) -> rule7))]
("Eric" "is" "red" "+")
((triple5 triple6) -> (rule7 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is not young.
False
4
inv-proof
[(((triple6 triple4 triple5) -> rule2) OR ((triple5 triple6 ((triple5 triple6) -> rule7)) -> rule6))]
("Eric" "is" "young" "-")
((triple6 triple4 triple5) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
((triple5 triple6 ((triple5 triple6) -> (rule7 % int2))) -> (rule6 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is big.
True
9
proof
[(((((triple6 triple4 triple5) -> rule2) triple3 ((triple5 triple6) -> rule7)) -> rule3) OR ((((triple5 triple6 ((triple5 triple6) -> rule7)) -> rule6) triple3 ((triple5 triple6) -> rule7)) -> rule3))]
("Eric" "is" "big" "+")
((((triple6 triple4 triple5) -> (rule2 % int3)) triple3 ((triple5 triple6) -> (rule7 % int2))) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
((((triple5 triple6 ((triple5 triple6) -> (rule7 % int3))) -> (rule6 % int2)) triple3 ((triple5 triple6) -> (rule7 % int3))) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not big.
False
9
inv-proof
[(((((triple6 triple4 triple5) -> rule2) triple3 ((triple5 triple6) -> rule7)) -> rule3) OR ((((triple5 triple6 ((triple5 triple6) -> rule7)) -> rule6) triple3 ((triple5 triple6) -> rule7)) -> rule3))]
("Eric" "is" "big" "-")
((((triple6 triple4 triple5) -> (rule2 % int3)) triple3 ((triple5 triple6) -> (rule7 % int2))) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
((((triple5 triple6 ((triple5 triple6) -> (rule7 % int3))) -> (rule6 % int2)) triple3 ((triple5 triple6) -> (rule7 % int3))) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is cold.
True
14
proof
[(((((triple5 triple6) -> rule7) ((((triple6 triple4 triple5) -> rule2) triple3 ((triple5 triple6) -> rule7)) -> rule3) triple4) -> rule5) OR ((((triple5 triple6) -> rule7) ((((triple5 triple6 ((triple5 triple6) -> rule7)) -> rule6) triple3 ((triple5 triple6) -> rule7)) -> rule3) triple4) -> rule5))]
("Eric" "is" "cold" "+")
((((triple5 triple6) -> (rule7 % int4)) ((((triple6 triple4 triple5) -> (rule2 % int3)) triple3 ((triple5 triple6) -> (rule7 % int4))) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
int4
((((triple5 triple6) -> (rule7 % int4)) ((((triple5 triple6 ((triple5 triple6) -> (rule7 % int4))) -> (rule6 % int3)) triple3 ((triple5 triple6) -> (rule7 % int4))) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
int4
Eric is not cold.
False
14
inv-proof
[(((((triple5 triple6) -> rule7) ((((triple6 triple4 triple5) -> rule2) triple3 ((triple5 triple6) -> rule7)) -> rule3) triple4) -> rule5) OR ((((triple5 triple6) -> rule7) ((((triple5 triple6 ((triple5 triple6) -> rule7)) -> rule6) triple3 ((triple5 triple6) -> rule7)) -> rule3) triple4) -> rule5))]
("Eric" "is" "cold" "-")
((((triple5 triple6) -> (rule7 % int4)) ((((triple6 triple4 triple5) -> (rule2 % int3)) triple3 ((triple5 triple6) -> (rule7 % int4))) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
int4
((((triple5 triple6) -> (rule7 % int4)) ((((triple5 triple6 ((triple5 triple6) -> (rule7 % int4))) -> (rule6 % int3)) triple3 ((triple5 triple6) -> (rule7 % int4))) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
int4
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "big" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "green" "+")
Eric is not rough.
Unknown
inv-rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "rough" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "big" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Charlie is red.[(triple1)] Dave is green.[(triple2)] Eric is blue.[(triple6)] Eric is green.[(triple5)] Eric is kind.[(triple4)] Eric is nice.[(triple3)] Gary is young.[(triple7)] @1: Eric is red.[(((triple5 triple6) -> rule7))] Eric is young.[(((triple6 triple4 triple5) -> rule2) OR ((triple5 triple6 ((triple5 triple6) -> rule7)) -> rule6))] @2: Eric is big.[(((((triple6 triple4 triple5) -> rule2) triple3 ((triple5 triple6) -> rule7)) -> rule3) OR ((((triple5 triple6 ((triple5 triple6) -> rule7)) -> rule6) triple3 ((triple5 triple6) -> rule7)) -> rule3))] @3: Eric is cold.[(((((triple5 triple6) -> rule7) ((((triple6 triple4 triple5) -> rule2) triple3 ((triple5 triple6) -> rule7)) -> rule3) triple4) -> rule5) OR ((((triple5 triple6) -> rule7) ((((triple5 triple6 ((triple5 triple6) -> rule7)) -> rule6) triple3 ((triple5 triple6) -> rule7)) -> rule3) triple4) -> rule5))]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is kind.
("Eric" "is" "kind" "+")
triple4
Eric is nice.
("Eric" "is" "nice" "+")
triple3
Gary is young.
("Gary" "is" "young" "+")
triple7
Eric is red.
("Eric" "is" "red" "+")
((triple5 triple6) -> (rule7 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((triple6 triple4 triple5) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
((triple5 triple6 ((triple5 triple6) -> (rule7 % int2))) -> (rule6 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((((triple6 triple4 triple5) -> (rule2 % int3)) triple3 ((triple5 triple6) -> (rule7 % int2))) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
((((triple5 triple6 ((triple5 triple6) -> (rule7 % int3))) -> (rule6 % int2)) triple3 ((triple5 triple6) -> (rule7 % int3))) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
((((triple5 triple6) -> (rule7 % int4)) ((((triple6 triple4 triple5) -> (rule2 % int3)) triple3 ((triple5 triple6) -> (rule7 % int4))) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
int4
((((triple5 triple6) -> (rule7 % int4)) ((((triple5 triple6 ((triple5 triple6) -> (rule7 % int4))) -> (rule6 % int3)) triple3 ((triple5 triple6) -> (rule7 % int4))) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
int4
Red Charlie is what folks call him, because he is quite red.
Dave ate some rotten meat and now feels green.
Eric is nice and kind; He is green with envy which makes him feel blue.
Gary was born only a few years ago so he is young.
A round person who is nice and feelin cold is usually rough in apperance.
A green person who is kind and a bit blue is young.
If you meet a nice, young, red man, you will see that they are big too.
Round, rough people blue with sadness turn out to be green.
Any big, kind person that turns red is cold to the touch.
Being green, blue, and red all point to how young someone was.
It's true that green and blue people are also red people.