Being so young, Bob is rough during play, even though he is nice. He is big for his age and has blue eyes. That man standing next to you with a big round body goes by the name of Charlie. Big Gary is cold but kind and always green. Red Harry is what folks call him, because he is quite red. Green, nice people who have round shapes are going to be kind to you. Young and rough people tend to be green too. A person who is nice and green with envy is round. A young someone is red in thought but green in ideas. In every case of people being kind and blue and green, we find they are concurrently nice. When you meet someone that's rough, kind and nice you'll see they are green as well. Anyone who is known to be kind, nice, and round is generally also known to be a green color.
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is green and round and nice then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and rough then they are green.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and green then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is red and young then they are green.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and blue and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and kind and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and nice and round then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Gary is big.
True
1
proof
[(triple11)]
("Gary" "is" "big" "+")
triple11
Gary is not kind.
False
1
inv-proof
[(triple8)]
("Gary" "is" "kind" "-")
triple8
Bob is green.
True
3
proof
[(((triple1 triple2) -> rule2))]
("Bob" "is" "green" "+")
((triple1 triple2) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is not green.
False
3
inv-proof
[(((triple1 triple2) -> rule2))]
("Bob" "is" "green" "-")
((triple1 triple2) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
True
5
proof
[(((triple3 ((triple1 triple2) -> rule2)) -> rule3))]
("Bob" "is" "round" "+")
((triple3 ((triple1 triple2) -> (rule2 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is not round.
False
5
inv-proof
[(((triple3 ((triple1 triple2) -> rule2)) -> rule3))]
("Bob" "is" "round" "-")
((triple3 ((triple1 triple2) -> (rule2 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
True
10
proof
[(((((triple1 triple2) -> rule2) ((triple3 ((triple1 triple2) -> rule2)) -> rule3) triple3) -> rule1))]
("Bob" "is" "kind" "+")
((((triple1 triple2) -> (rule2 % int3)) ((triple3 ((triple1 triple2) -> (rule2 % int3))) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is not kind.
False
10
inv-proof
[(((((triple1 triple2) -> rule2) ((triple3 ((triple1 triple2) -> rule2)) -> rule3) triple3) -> rule1))]
("Bob" "is" "kind" "-")
((((triple1 triple2) -> (rule2 % int3)) ((triple3 ((triple1 triple2) -> (rule2 % int3))) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Gary is not round.
Unknown
inv-rconc
[@2: Gary is round.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Gary" "is" "round" "-")
Charlie is kind.
Unknown
rconc
[@2: Charlie is kind.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Charlie" "is" "kind" "+")
Harry is not green.
Unknown
inv-rconc
[@2: Harry is green.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("Harry" "is" "green" "-")
Charlie is green.
Unknown
rconc
[@2: Charlie is green.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("Charlie" "is" "green" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Bob is big.[(triple5)] Bob is blue.[(triple4)] Bob is nice.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Charlie is big.[(triple7)] Charlie is round.[(triple6)] Gary is big.[(triple11)] Gary is cold.[(triple10)] Gary is green.[(triple9)] Gary is kind.[(triple8)] Harry is red.[(triple12)] @1: Bob is green.[(((triple1 triple2) -> rule2))] @2: Bob is round.[(((triple3 ((triple1 triple2) -> rule2)) -> rule3))] @3: Bob is kind.[(((((triple1 triple2) -> rule2) ((triple3 ((triple1 triple2) -> rule2)) -> rule3) triple3) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple12
Bob is green.
("Bob" "is" "green" "+")
((triple1 triple2) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple3 ((triple1 triple2) -> (rule2 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((((triple1 triple2) -> (rule2 % int3)) ((triple3 ((triple1 triple2) -> (rule2 % int3))) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Being so young, Bob is rough during play, even though he is nice; He is big for his age and has blue eyes.
That man standing next to you with a big round body goes by the name of Charlie.
Big Gary is cold but kind and always green.
Red Harry is what folks call him, because he is quite red.
Green, nice people who have round shapes are going to be kind to you.
Young and rough people tend to be green too.
A person who is nice and green with envy is round.
A young someone is red in thought but green in ideas.
In every case of people being kind and blue and green, we find they are concurrently nice.
When you meet someone that's rough, kind and nice you'll see they are green as well.
Anyone who is known to be kind, nice, and round is generally also known to be a green color.