Bob is a rather nice, big and round fellow, who is also red from a sunburn and feeling blue. Eric wears all blue. Fred is big and tends to wear red shirts. Gary grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. A green and red colored person who is rather nice will definitely be kind. His cheeks were red from the cold, and his big blue eye were watering. I've noticed that someone who is big and acts cold towards others is green as well. A big person who is kind and nice is usually red because their prone to blushing. Red and round people will be cold even in the summer.
Bob is round.
("Bob" "is" "round" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is green and nice and red then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and big and cold then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and big then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and nice and big then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is red and round then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Fred is big.
True
1
proof
[(triple8)]
("Fred" "is" "big" "+")
triple8
Bob is not nice.
False
1
inv-proof
[(triple3)]
("Bob" "is" "nice" "-")
triple3
Bob is cold.
True
3
proof
[(((triple2 triple1) -> rule5))]
("Bob" "is" "cold" "+")
((triple2 triple1) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not cold.
False
3
inv-proof
[(((triple2 triple1) -> rule5))]
("Bob" "is" "cold" "-")
((triple2 triple1) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
True
5
proof
[(((((triple2 triple1) -> rule5) triple5) -> rule3))]
("Bob" "is" "green" "+")
((((triple2 triple1) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is not green.
False
5
inv-proof
[(((((triple2 triple1) -> rule5) triple5) -> rule3))]
("Bob" "is" "green" "-")
((((triple2 triple1) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
True
8
proof
[(((((((triple2 triple1) -> rule5) triple5) -> rule3) triple3 triple2) -> rule1))]
("Bob" "is" "kind" "+")
((((((triple2 triple1) -> (rule5 % int3)) triple5) -> (rule3 % int2)) triple3 triple2) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not kind.
False
8
inv-proof
[(((((((triple2 triple1) -> rule5) triple5) -> rule3) triple3 triple2) -> rule1))]
("Bob" "is" "kind" "-")
((((((triple2 triple1) -> (rule5 % int3)) triple5) -> (rule3 % int2)) triple3 triple2) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "cold" "-")
Eric is red.
Unknown
rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "red" "+")
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "green" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "green" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
@0: Bob is big.[(triple5)] Bob is blue.[(triple4 OR ((triple2 triple5 ((triple2 triple1) -> rule5)) -> rule2))] Bob is nice.[(triple3)] Bob is red.[(triple2)] Bob is round.[(triple1)] Eric is blue.[(triple6)] Fred is big.[(triple8)] Fred is red.[(triple7)] Gary is blue.[(triple10)] Gary is rough.[(triple9)] @1: Bob is cold.[(((triple2 triple1) -> rule5))] @2: Bob is green.[(((((triple2 triple1) -> rule5) triple5) -> rule3))] @3: Bob is kind.[(((((((triple2 triple1) -> rule5) triple5) -> rule3) triple3 triple2) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is blue.
("Bob" "is" "blue" "+")
triple4
((triple2 triple5 ((triple2 triple1) -> (rule5 % int2))) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is red.
("Fred" "is" "red" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Bob is cold.
("Bob" "is" "cold" "+")
((triple2 triple1) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((((triple2 triple1) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((((((triple2 triple1) -> (rule5 % int3)) triple5) -> (rule3 % int2)) triple3 triple2) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is a rather nice, big and round fellow, who is also red from a sunburn and feeling blue.
Eric wears all blue.
Fred is big and tends to wear red shirts.
Gary grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
A green and red colored person who is rather nice will definitely be kind.
His cheeks were red from the cold, and his big blue eye were watering.
I've noticed that someone who is big and acts cold towards others is green as well.
A big person who is kind and nice is usually red because their prone to blushing.
Red and round people will be cold even in the summer.