Bob loves cake which has made him quite round. Because he has been made fun of for quite some time, he has turned rough and cold towards others. Big, red Dave is quite kind. Big Eric, the most blue guy I know while also being cold. 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 cold temperatured and green colored person who is also big will be young. A round shaped and rough person will be blue as well. When a person's traits are to be big, blue and cold, they will also have a red trait. People with blue and red skin color are also green. A nice red person that is cold is always big, I have found. A green and red colored person who has a nice temperament will be cold.
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is big and green and cold then they are young.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and round then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and cold and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and red then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is red and nice and cold then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is green and nice and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
Gary is blue.
True
1
proof
[(triple11)]
("Gary" "is" "blue" "+")
triple11
Bob is not cold.
False
1
inv-proof
[(triple3)]
("Bob" "is" "cold" "-")
triple3
Eric is red.
True
4
proof
[(((triple9 triple7 triple8) -> rule3))]
("Eric" "is" "red" "+")
((triple9 triple7 triple8) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Bob is not blue.
False
3
inv-proof
[(((triple2 triple1) -> rule2))]
("Bob" "is" "blue" "-")
((triple2 triple1) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Eric is green.
True
6
proof
[(((triple8 ((triple9 triple7 triple8) -> rule3)) -> rule4))]
("Eric" "is" "green" "+")
((triple8 ((triple9 triple7 triple8) -> (rule3 % int2))) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is not green.
False
6
inv-proof
[(((triple8 ((triple9 triple7 triple8) -> rule3)) -> rule4))]
("Eric" "is" "green" "-")
((triple8 ((triple9 triple7 triple8) -> (rule3 % int2))) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is young.
True
9
proof
[(((triple9 ((triple8 ((triple9 triple7 triple8) -> rule3)) -> rule4) triple7) -> rule1))]
("Eric" "is" "young" "+")
((triple9 ((triple8 ((triple9 triple7 triple8) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not young.
False
9
inv-proof
[(((triple9 ((triple8 ((triple9 triple7 triple8) -> rule3)) -> rule4) triple7) -> rule1))]
("Eric" "is" "young" "-")
((triple9 ((triple8 ((triple9 triple7 triple8) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Bob is not young.
Unknown
inv-rconc
[@2: Bob is young.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Bob" "is" "young" "-")
Dave is young.
Unknown
rconc
[@2: Dave is young.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Dave" "is" "young" "+")
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "cold" "-")
Bob is red.
Unknown
rconc
[@2: Bob is red.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Bob" "is" "red" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is cold.[(triple3)] Bob is rough.[(triple2)] Bob is round.[(triple1)] Dave is big.[(triple6)] Dave is kind.[(triple5)] Dave is red.[(triple4)] Eric is big.[(triple9)] Eric is blue.[(triple8)] Eric is cold.[(triple7)] Gary is blue.[(triple11)] Gary is rough.[(triple10)] @1: Bob is blue.[(((triple2 triple1) -> rule2))] Eric is red.[(((triple9 triple7 triple8) -> rule3))] @2: Eric is green.[(((triple8 ((triple9 triple7 triple8) -> rule3)) -> rule4))] @3: Eric is young.[(((triple9 ((triple8 ((triple9 triple7 triple8) -> rule3)) -> rule4) triple7) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple4
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is cold.
("Eric" "is" "cold" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Bob is blue.
("Bob" "is" "blue" "+")
((triple2 triple1) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple9 triple7 triple8) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
((triple8 ((triple9 triple7 triple8) -> (rule3 % int2))) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
((triple9 ((triple8 ((triple9 triple7 triple8) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Bob loves cake which has made him quite round; Because he has been made fun of for quite some time, he has turned rough and cold towards others.
Big, red Dave is quite kind.
Big Eric, the most blue guy I know while also being cold.
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 cold temperatured and green colored person who is also big will be young.
A round shaped and rough person will be blue as well.
When a person's traits are to be big, blue and cold, they will also have a red trait.
People with blue and red skin color are also green.
A nice red person that is cold is always big, I have found.
A green and red colored person who has a nice temperament will be cold.