Charlie was born only a few years ago so he is young. Even though Dave is green with envy he is nice with rosy red cheeks. That rough but kind guy is Fred, the green one. Blue with the cold Gary is rough but kind with a green shirt. A very kind and green colored person, who is also cold, will be nice. A person who is nice and green with envy is round. Any human being with green, big, kind eyes, also has round eyes. A red colored person will be rough textured and will be blue. When somebody is round, kind and blue, you know they'll also be red. Everyone knows that if you are cold, kind, and big, it goes without saying that you are round. There is a trend I've noticed if someone is nice, kind and big they are also young in appearance.
Charlie is young.
("Charlie" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is kind and green and cold then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and green then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is green and big and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is red and rough then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and kind and blue then they are red.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and kind and big then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and kind and big then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Dave is nice.
True
1
proof
[(triple3)]
("Dave" "is" "nice" "+")
triple3
Gary is not blue.
False
1
inv-proof
[(triple12)]
("Gary" "is" "blue" "-")
triple12
Dave is round.
True
3
proof
[(((triple3 triple4) -> rule2))]
("Dave" "is" "round" "+")
((triple3 triple4) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Gary is not nice.
False
4
inv-proof
[(((triple9 triple10 triple11) -> rule1))]
("Gary" "is" "nice" "-")
((triple9 triple10 triple11) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
True
6
proof
[(((((triple9 triple10 triple11) -> rule1) triple10) -> rule2))]
("Gary" "is" "round" "+")
((((triple9 triple10 triple11) -> (rule1 % int2)) triple10) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not round.
False
6
inv-proof
[(((((triple9 triple10 triple11) -> rule1) triple10) -> rule2))]
("Gary" "is" "round" "-")
((((triple9 triple10 triple11) -> (rule1 % int2)) triple10) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
True
9
proof
[(((((((triple9 triple10 triple11) -> rule1) triple10) -> rule2) triple9 triple12) -> rule5))]
("Gary" "is" "red" "+")
((((((triple9 triple10 triple11) -> (rule1 % int3)) triple10) -> (rule2 % int2)) triple9 triple12) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is not red.
False
9
inv-proof
[(((((((triple9 triple10 triple11) -> rule1) triple10) -> rule2) triple9 triple12) -> rule5))]
("Gary" "is" "red" "-")
((((((triple9 triple10 triple11) -> (rule1 % int3)) triple10) -> (rule2 % int2)) triple9 triple12) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "young" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "red" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "nice" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Charlie is young.[(triple1)] Dave is green.[(triple4)] Dave is nice.[(triple3)] Dave is red.[(triple2)] Fred is green.[(triple7)] Fred is kind.[(triple6)] Fred is rough.[(triple5)] Gary is blue.[(triple12)] Gary is cold.[(triple11)] Gary is green.[(triple10)] Gary is kind.[(triple9)] Gary is rough.[(triple8)] @1: Dave is round.[(((triple3 triple4) -> rule2))] Gary is nice.[(((triple9 triple10 triple11) -> rule1))] @2: Gary is round.[(((((triple9 triple10 triple11) -> rule1) triple10) -> rule2))] @3: Gary is red.[(((((((triple9 triple10 triple11) -> rule1) triple10) -> rule2) triple9 triple12) -> rule5))]
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple2
Fred is green.
("Fred" "is" "green" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
((triple3 triple4) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple9 triple10 triple11) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((((triple9 triple10 triple11) -> (rule1 % int2)) triple10) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((((((triple9 triple10 triple11) -> (rule1 % int3)) triple10) -> (rule2 % int2)) triple9 triple12) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Charlie was born only a few years ago so he is young.
Even though Dave is green with envy he is nice with rosy red cheeks.
That rough but kind guy is Fred, the green one.
Blue with the cold Gary is rough but kind with a green shirt.
A very kind and green colored person, who is also cold, will be nice.
A person who is nice and green with envy is round.
Any human being with green, big, kind eyes, also has round eyes.
A red colored person will be rough textured and will be blue.
When somebody is round, kind and blue, you know they'll also be red.
Everyone knows that if you are cold, kind, and big, it goes without saying that you are round.
There is a trend I've noticed if someone is nice, kind and big they are also young in appearance.