Bob who is is looking green after smelling the trash left out in the hot sun is seeing red from his anger.  Usually though he is described as being a kind and nice person. Dave is sometimes cold and blue, but he can also be kind and big. They always call him rough Eric. Fred is so big, he is often blue, but always kind. Soon you will understand that big people are nice. A person that is both green and red tends to be cold as well. I've been told that big, nice people are very rough. People who always wear red and act in a kind manner towards everyone they meet also have a round body. If a nice person is round shaped, they feel blue about it. People who are nice and rough are looked at as kind. A blue individual that is kind and nice to others also has a rough appearance.
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and nice then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and kind then they are round.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and blue and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Fred is kind.
True
1
proof
[(triple10 OR ((((triple12) -> rule1) ((triple12 ((triple12) -> rule1)) -> rule3)) -> rule6))]
("Fred" "is" "kind" "+")
triple10
((((triple12) -> (rule1 % int3)) ((triple12 ((triple12) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is not kind.
False
1
inv-proof
[(triple10 OR ((((triple12) -> rule1) ((triple12 ((triple12) -> rule1)) -> rule3)) -> rule6))]
("Fred" "is" "kind" "-")
triple10
((((triple12) -> (rule1 % int3)) ((triple12 ((triple12) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Bob is round.
True
3
proof
[(((triple1 triple3) -> rule4))]
("Bob" "is" "round" "+")
((triple1 triple3) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Dave is not nice.
False
2
inv-proof
[(((triple8) -> rule1))]
("Dave" "is" "nice" "-")
((triple8) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
True
4
proof
[(((triple8 ((triple8) -> rule1)) -> rule3) OR ((triple5 triple7 ((triple8) -> rule1)) -> rule7))]
("Dave" "is" "rough" "+")
((triple8 ((triple8) -> (rule1 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((triple5 triple7 ((triple8) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Bob is not blue.
False
5
inv-proof
[(((triple2 ((triple1 triple3) -> rule4)) -> rule5))]
("Bob" "is" "blue" "-")
((triple2 ((triple1 triple3) -> (rule4 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
True
8
proof
[(((triple3 ((triple2 ((triple1 triple3) -> rule4)) -> rule5) triple2) -> rule7))]
("Bob" "is" "rough" "+")
((triple3 ((triple2 ((triple1 triple3) -> (rule4 % int3))) -> (rule5 % int2)) triple2) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is not rough.
False
8
inv-proof
[(((triple3 ((triple2 ((triple1 triple3) -> rule4)) -> rule5) triple2) -> rule7))]
("Bob" "is" "rough" "-")
((triple3 ((triple2 ((triple1 triple3) -> (rule4 % int3))) -> (rule5 % int2)) triple2) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "round" "-")
Fred is round.
Unknown
rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "round" "+")
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "cold" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "nice" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
@0: Bob is green.[(triple4)] Bob is kind.[(triple3)] Bob is nice.[(triple2)] Bob is red.[(triple1)] Dave is big.[(triple8)] Dave is blue.[(triple7)] Dave is cold.[(triple6)] Dave is kind.[(triple5 OR ((((triple8) -> rule1) ((triple8 ((triple8) -> rule1)) -> rule3)) -> rule6))] Eric is rough.[(triple9)] Fred is big.[(triple12)] Fred is blue.[(triple11)] Fred is kind.[(triple10 OR ((((triple12) -> rule1) ((triple12 ((triple12) -> rule1)) -> rule3)) -> rule6))] @1: Bob is cold.[(((triple4 triple1) -> rule2))] Bob is round.[(((triple1 triple3) -> rule4))] Dave is nice.[(((triple8) -> rule1))] Fred is nice.[(((triple12) -> rule1))] @2: Bob is blue.[(((triple2 ((triple1 triple3) -> rule4)) -> rule5))] Dave is rough.[(((triple8 ((triple8) -> rule1)) -> rule3) OR ((triple5 triple7 ((triple8) -> rule1)) -> rule7))] Fred is rough.[(((triple12 ((triple12) -> rule1)) -> rule3) OR ((triple10 triple11 ((triple12) -> rule1)) -> rule7))] @3: Bob is rough.[(((triple3 ((triple2 ((triple1 triple3) -> rule4)) -> rule5) triple2) -> rule7))]
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple5
((((triple8) -> (rule1 % int3)) ((triple8 ((triple8) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
triple9
Fred is big.
("Fred" "is" "big" "+")
triple12
Fred is blue.
("Fred" "is" "blue" "+")
triple11
Fred is kind.
("Fred" "is" "kind" "+")
triple10
((((triple12) -> (rule1 % int3)) ((triple12 ((triple12) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
((triple4 triple1) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple1 triple3) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple8) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple12) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((triple2 ((triple1 triple3) -> (rule4 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((triple8 ((triple8) -> (rule1 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((triple5 triple7 ((triple8) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
((triple12 ((triple12) -> (rule1 % int2))) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
((triple10 triple11 ((triple12) -> (rule1 % int2))) -> (rule7 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
((triple3 ((triple2 ((triple1 triple3) -> (rule4 % int3))) -> (rule5 % int2)) triple2) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob who is is looking green after smelling the trash left out in the hot sun is seeing red from his anger; Usually though he is described as being a kind and nice person.
Dave is sometimes cold and blue, but he can also be kind and big.
They always call him rough Eric.
Fred is so big, he is often blue, but always kind.
Soon you will understand that big people are nice.
A person that is both green and red tends to be cold as well.
I've been told that big, nice people are very rough.
People who always wear red and act in a kind manner towards everyone they meet also have a round body.
If a nice person is round shaped, they feel blue about it.
People who are nice and rough are looked at as kind.
A blue individual that is kind and nice to others also has a rough appearance.