Charlie is a kind and red colored guy. Everyone noticed how round and nice Eric was. He was kind, and everyone thought he was green and big. Gary is a nice person who is red because he has a rash. Harry was born only a few years ago so he is young. When young, round people are cold it their skin gets a blue tinge to it. Fat, round people who are green with envy and notoriously rough. Young, round, and cold people have a habit of looking pretty red. A blue colored, nice but rough person is definitely young too. I've found that people with rough skin tend to be really nice but they also often feel blue. Nice people who are looking green and seeing red usually feel rather rough.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is young.
("Harry" "is" "young" "+")
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 green and round then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and young and round then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and blue and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and nice then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and green and red then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Gary is red.
True
1
proof
[(triple8)]
("Gary" "is" "red" "+")
triple8
Charlie is not kind.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "kind" "-")
triple2
Eric is rough.
True
3
proof
[(((triple6 triple3) -> rule2))]
("Eric" "is" "rough" "+")
((triple6 triple3) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is not rough.
False
3
inv-proof
[(((triple6 triple3) -> rule2))]
("Eric" "is" "rough" "-")
((triple6 triple3) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is blue.
True
5
proof
[(((((triple6 triple3) -> rule2) triple4) -> rule5))]
("Eric" "is" "blue" "+")
((((triple6 triple3) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is not blue.
False
5
inv-proof
[(((((triple6 triple3) -> rule2) triple4) -> rule5))]
("Eric" "is" "blue" "-")
((((triple6 triple3) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is young.
True
10
proof
[(((triple4 ((((triple6 triple3) -> rule2) triple4) -> rule5) ((triple6 triple3) -> rule2)) -> rule4))]
("Eric" "is" "young" "+")
((triple4 ((((triple6 triple3) -> (rule2 % int3)) triple4) -> (rule5 % int2)) ((triple6 triple3) -> (rule2 % int3))) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is not young.
False
10
inv-proof
[(((triple4 ((((triple6 triple3) -> rule2) triple4) -> rule5) ((triple6 triple3) -> rule2)) -> rule4))]
("Eric" "is" "young" "-")
((triple4 ((((triple6 triple3) -> (rule2 % int3)) triple4) -> (rule5 % int2)) ((triple6 triple3) -> (rule2 % int3))) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "blue" "+")
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "young" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "rough" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Charlie is kind.[(triple2)] Charlie is red.[(triple1)] Eric is big.[(triple7)] Eric is green.[(triple6)] Eric is kind.[(triple5)] Eric is nice.[(triple4)] Eric is round.[(triple3)] Gary is nice.[(triple9)] Gary is red.[(triple8)] Harry is young.[(triple10)] @1: Eric is rough.[(((triple6 triple3) -> rule2))] @2: Eric is blue.[(((((triple6 triple3) -> rule2) triple4) -> rule5))] @3: Eric is young.[(((triple4 ((((triple6 triple3) -> rule2) triple4) -> rule5) ((triple6 triple3) -> rule2)) -> rule4))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is green.
("Eric" "is" "green" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Eric is nice.
("Eric" "is" "nice" "+")
triple4
Eric is round.
("Eric" "is" "round" "+")
triple3
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple10
Eric is rough.
("Eric" "is" "rough" "+")
((triple6 triple3) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((((triple6 triple3) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
((triple4 ((((triple6 triple3) -> (rule2 % int3)) triple4) -> (rule5 % int2)) ((triple6 triple3) -> (rule2 % int3))) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Charlie is a kind and red colored guy.
Everyone noticed how round and nice Eric was; He was kind, and everyone thought he was green and big.
Gary is a nice person who is red because he has a rash.
Harry was born only a few years ago so he is young.
When young, round people are cold it their skin gets a blue tinge to it.
Fat, round people who are green with envy and notoriously rough.
Young, round, and cold people have a habit of looking pretty red.
A blue colored, nice but rough person is definitely young too.
I've found that people with rough skin tend to be really nice but they also often feel blue.
Nice people who are looking green and seeing red usually feel rather rough.