Young Bob is wearing green pants. Dave is a kind but rough man who is red from a sunburn,  He is rather green in appearance after looking at some rotten fish. The big, round, blue guy is Fred. He's kind but rather rough. Red Gary is what folks call him, because he is quite red. People that tend to be big and green also tend to be cold. A person who's big and kind will also be cold. A person who is cold but red, and big in size is young for sure. Someone who is colored both in red and green, while being kind to others, is a round person. Sam is usually kind but a blue person, but lately he has been both green with envy and red with anger. Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color. Being big and blue is standard for being green.
Bob is young.
("Bob" "is" "young" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
If someone is big and green then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and big and cold then they are young.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is red and green and kind then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is green and kind and blue then they are red.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and cold and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and blue then they are green.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Fred is rough.
True
1
proof
[(triple8)]
("Fred" "is" "rough" "+")
triple8
Gary is not red.
False
1
inv-proof
[(triple12)]
("Gary" "is" "red" "-")
triple12
Fred is cold.
True
3
proof
[(((triple11 triple9) -> rule2) OR ((triple11 ((triple11 triple10) -> rule7)) -> rule1))]
("Fred" "is" "cold" "+")
((triple11 triple9) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
((triple11 ((triple11 triple10) -> (rule7 % int2))) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Dave is not round.
False
4
inv-proof
[(((triple4 triple6 triple5) -> rule4))]
("Dave" "is" "round" "-")
((triple4 triple6 triple5) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Fred is red.
True
6
proof
[(((((triple11 triple10) -> rule7) triple9 triple10) -> rule5))]
("Fred" "is" "red" "+")
((((triple11 triple10) -> (rule7 % int2)) triple9 triple10) -> (rule5 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is not red.
False
6
inv-proof
[(((((triple11 triple10) -> rule7) triple9 triple10) -> rule5))]
("Fred" "is" "red" "-")
((((triple11 triple10) -> (rule7 % int2)) triple9 triple10) -> (rule5 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is young.
True
11
proof
[(((((((triple11 triple10) -> rule7) triple9 triple10) -> rule5) triple11 ((triple11 triple9) -> rule2)) -> rule3) OR ((((((triple11 triple10) -> rule7) triple9 triple10) -> rule5) triple11 ((triple11 ((triple11 triple10) -> rule7)) -> rule1)) -> rule3))]
("Fred" "is" "young" "+")
((((((triple11 triple10) -> (rule7 % int4)) triple9 triple10) -> (rule5 % int3)) triple11 ((triple11 triple9) -> (rule2 % int2))) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is green.
("Fred" "is" "green" "+")
int4
((((((triple11 triple10) -> (rule7 % int4)) triple9 triple10) -> (rule5 % int3)) triple11 ((triple11 ((triple11 triple10) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is green.
("Fred" "is" "green" "+")
int4
Fred is not young.
False
11
inv-proof
[(((((((triple11 triple10) -> rule7) triple9 triple10) -> rule5) triple11 ((triple11 triple9) -> rule2)) -> rule3) OR ((((((triple11 triple10) -> rule7) triple9 triple10) -> rule5) triple11 ((triple11 ((triple11 triple10) -> rule7)) -> rule1)) -> rule3))]
("Fred" "is" "young" "-")
((((((triple11 triple10) -> (rule7 % int4)) triple9 triple10) -> (rule5 % int3)) triple11 ((triple11 triple9) -> (rule2 % int2))) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is green.
("Fred" "is" "green" "+")
int4
((((((triple11 triple10) -> (rule7 % int4)) triple9 triple10) -> (rule5 % int3)) triple11 ((triple11 ((triple11 triple10) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is green.
("Fred" "is" "green" "+")
int4
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "red" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "+")
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "cold" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "round" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Bob is green.[(triple2)] Bob is young.[(triple1)] Dave is green.[(triple6)] Dave is kind.[(triple5)] Dave is red.[(triple4)] Dave is rough.[(triple3)] Fred is big.[(triple11)] Fred is blue.[(triple10)] Fred is kind.[(triple9)] Fred is rough.[(triple8)] Fred is round.[(triple7 OR ((((((triple11 triple10) -> rule7) triple9 triple10) -> rule5) ((triple11 triple10) -> rule7) triple9) -> rule4))] Gary is red.[(triple12)] @1: Dave is round.[(((triple4 triple6 triple5) -> rule4))] Fred is cold.[(((triple11 triple9) -> rule2) OR ((triple11 ((triple11 triple10) -> rule7)) -> rule1))] Fred is green.[(((triple11 triple10) -> rule7))] @2: Fred is red.[(((((triple11 triple10) -> rule7) triple9 triple10) -> rule5))] @3: Fred is young.[(((((((triple11 triple10) -> rule7) triple9 triple10) -> rule5) triple11 ((triple11 triple9) -> rule2)) -> rule3) OR ((((((triple11 triple10) -> rule7) triple9 triple10) -> rule5) triple11 ((triple11 ((triple11 triple10) -> rule7)) -> rule1)) -> rule3))]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple11
Fred is blue.
("Fred" "is" "blue" "+")
triple10
Fred is kind.
("Fred" "is" "kind" "+")
triple9
Fred is rough.
("Fred" "is" "rough" "+")
triple8
Fred is round.
("Fred" "is" "round" "+")
triple7
((((((triple11 triple10) -> (rule7 % int3)) triple9 triple10) -> (rule5 % int2)) ((triple11 triple10) -> (rule7 % int3)) triple9) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
triple12
Dave is round.
("Dave" "is" "round" "+")
((triple4 triple6 triple5) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((triple11 triple9) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
((triple11 ((triple11 triple10) -> (rule7 % int2))) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((triple11 triple10) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((((triple11 triple10) -> (rule7 % int2)) triple9 triple10) -> (rule5 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((((((triple11 triple10) -> (rule7 % int4)) triple9 triple10) -> (rule5 % int3)) triple11 ((triple11 triple9) -> (rule2 % int2))) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is green.
("Fred" "is" "green" "+")
int4
((((((triple11 triple10) -> (rule7 % int4)) triple9 triple10) -> (rule5 % int3)) triple11 ((triple11 ((triple11 triple10) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is green.
("Fred" "is" "green" "+")
int4
Young Bob is wearing green pants.
Dave is a kind but rough man who is red from a sunburn,  He is rather green in appearance after looking at some rotten fish.
The big, round, blue guy is Fred; He's kind but rather rough.
Red Gary is what folks call him, because he is quite red.
People that tend to be big and green also tend to be cold.
A person who's big and kind will also be cold.
A person who is cold but red, and big in size is young for sure.
Someone who is colored both in red and green, while being kind to others, is a round person.
Sam is usually kind but a blue person, but lately he has been both green with envy and red with anger.
Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color.
Being big and blue is standard for being green.