Bob ate some rotten meat and now feels green. Dave 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. That man standing next to you with a big round body goes by the name of Eric. Because Harry, who is young, loves to eat he is quite round.  Sometimes that makes him feel blue and get rough with people who make fun of him.  But he is actually quite kind. People who are rough are young. Cold, red people are generally kind and big. People,though rough and red,tend to be cold too. Being kind and young means that if they are also blue, they are always red. Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer. A person who is very round is nice but also quite rough. I've noticed that big people with blue and green skin tend to be young.
Bob is green.
("Bob" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is rough then they are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and red and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and kind and young then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and round and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and nice then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and big and blue then they are young.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Dave is rough.
True
1
proof
[(triple3)]
("Dave" "is" "rough" "+")
triple3
Bob is not green.
False
1
inv-proof
[(triple1)]
("Bob" "is" "green" "-")
triple1
Dave is young.
True
2
proof
[(((triple3) -> rule1))]
("Dave" "is" "young" "+")
((triple3) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Harry is not red.
False
4
inv-proof
[(((triple11 triple10 triple7) -> rule4) OR ((triple11 triple10 ((triple9) -> rule1)) -> rule4))]
("Harry" "is" "red" "-")
((triple11 triple10 triple7) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((triple11 triple10 ((triple9) -> (rule1 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is cold.
True
6
proof
[(((triple9 ((triple11 triple10 triple7) -> rule4)) -> rule3) OR ((triple9 ((triple11 triple10 ((triple9) -> rule1)) -> rule4)) -> rule3))]
("Harry" "is" "cold" "+")
((triple9 ((triple11 triple10 triple7) -> (rule4 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((triple9 ((triple11 triple10 ((triple9) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is not cold.
False
6
inv-proof
[(((triple9 ((triple11 triple10 triple7) -> rule4)) -> rule3) OR ((triple9 ((triple11 triple10 ((triple9) -> rule1)) -> rule4)) -> rule3))]
("Harry" "is" "cold" "-")
((triple9 ((triple11 triple10 triple7) -> (rule4 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((triple9 ((triple11 triple10 ((triple9) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is big.
True
12
proof
[(((triple10 ((triple11 triple10 triple7) -> rule4) ((triple9 ((triple11 triple10 triple7) -> rule4)) -> rule3)) -> rule2) OR ((triple10 ((triple11 triple10 ((triple9) -> rule1)) -> rule4) ((triple9 ((triple11 triple10 triple7) -> rule4)) -> rule3)) -> rule2) OR ((triple10 ((triple11 triple10 triple7) -> rule4) ((triple9 ((triple11 triple10 ((triple9) -> rule1)) -> rule4)) -> rule3)) -> rule2) OR ((triple10 ((triple11 triple10 ((triple9) -> rule1)) -> rule4) ((triple9 ((triple11 triple10 ((triple9) -> rule1)) -> rule4)) -> rule3)) -> rule2))]
("Harry" "is" "big" "+")
((triple10 ((triple11 triple10 triple7) -> (rule4 % int3)) ((triple9 ((triple11 triple10 triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple10 ((triple11 triple10 ((triple9) -> (rule1 % int4))) -> (rule4 % int3)) ((triple9 ((triple11 triple10 triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((triple10 ((triple11 triple10 triple7) -> (rule4 % int4)) ((triple9 ((triple11 triple10 ((triple9) -> (rule1 % int3))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple10 ((triple11 triple10 ((triple9) -> (rule1 % int4))) -> (rule4 % int3)) ((triple9 ((triple11 triple10 ((triple9) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is not big.
False
12
inv-proof
[(((triple10 ((triple11 triple10 triple7) -> rule4) ((triple9 ((triple11 triple10 triple7) -> rule4)) -> rule3)) -> rule2) OR ((triple10 ((triple11 triple10 ((triple9) -> rule1)) -> rule4) ((triple9 ((triple11 triple10 triple7) -> rule4)) -> rule3)) -> rule2) OR ((triple10 ((triple11 triple10 triple7) -> rule4) ((triple9 ((triple11 triple10 ((triple9) -> rule1)) -> rule4)) -> rule3)) -> rule2) OR ((triple10 ((triple11 triple10 ((triple9) -> rule1)) -> rule4) ((triple9 ((triple11 triple10 ((triple9) -> rule1)) -> rule4)) -> rule3)) -> rule2))]
("Harry" "is" "big" "-")
((triple10 ((triple11 triple10 triple7) -> (rule4 % int3)) ((triple9 ((triple11 triple10 triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple10 ((triple11 triple10 ((triple9) -> (rule1 % int4))) -> (rule4 % int3)) ((triple9 ((triple11 triple10 triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((triple10 ((triple11 triple10 triple7) -> (rule4 % int4)) ((triple9 ((triple11 triple10 ((triple9) -> (rule1 % int3))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple10 ((triple11 triple10 ((triple9) -> (rule1 % int4))) -> (rule4 % int3)) ((triple9 ((triple11 triple10 ((triple9) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Eric is not rough.
Unknown
inv-rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "rough" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "red" "+")
Bob is not young.
Unknown
inv-rconc
[@2: Bob is young.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Bob" "is" "young" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "red" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Bob is green.[(triple1)] Dave is cold.[(triple4)] Dave is rough.[(triple3)] Dave is round.[(triple2)] Eric is big.[(triple6)] Eric is round.[(triple5)] Harry is blue.[(triple11)] Harry is kind.[(triple10)] Harry is rough.[(triple9)] Harry is round.[(triple8)] Harry is young.[(triple7 OR ((triple9) -> rule1))] @1: Dave is young.[(((triple3) -> rule1))] Harry is red.[(((triple11 triple10 triple7) -> rule4) OR ((triple11 triple10 ((triple9) -> rule1)) -> rule4))] @2: Harry is cold.[(((triple9 ((triple11 triple10 triple7) -> rule4)) -> rule3) OR ((triple9 ((triple11 triple10 ((triple9) -> rule1)) -> rule4)) -> rule3))] @3: Harry is big.[(((triple10 ((triple11 triple10 triple7) -> rule4) ((triple9 ((triple11 triple10 triple7) -> rule4)) -> rule3)) -> rule2) OR ((triple10 ((triple11 triple10 ((triple9) -> rule1)) -> rule4) ((triple9 ((triple11 triple10 triple7) -> rule4)) -> rule3)) -> rule2) OR ((triple10 ((triple11 triple10 triple7) -> rule4) ((triple9 ((triple11 triple10 ((triple9) -> rule1)) -> rule4)) -> rule3)) -> rule2) OR ((triple10 ((triple11 triple10 ((triple9) -> rule1)) -> rule4) ((triple9 ((triple11 triple10 ((triple9) -> rule1)) -> rule4)) -> rule3)) -> rule2))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple2
Eric is big.
("Eric" "is" "big" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
((triple9) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple3) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple11 triple10 triple7) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((triple11 triple10 ((triple9) -> (rule1 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((triple9 ((triple11 triple10 triple7) -> (rule4 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((triple9 ((triple11 triple10 ((triple9) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
((triple10 ((triple11 triple10 triple7) -> (rule4 % int3)) ((triple9 ((triple11 triple10 triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple10 ((triple11 triple10 ((triple9) -> (rule1 % int4))) -> (rule4 % int3)) ((triple9 ((triple11 triple10 triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((triple10 ((triple11 triple10 triple7) -> (rule4 % int4)) ((triple9 ((triple11 triple10 ((triple9) -> (rule1 % int3))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple10 ((triple11 triple10 ((triple9) -> (rule1 % int4))) -> (rule4 % int3)) ((triple9 ((triple11 triple10 ((triple9) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Bob ate some rotten meat and now feels green.
Dave 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.
That man standing next to you with a big round body goes by the name of Eric.
Because Harry, who is young, loves to eat he is quite round; Sometimes that makes him feel blue and get rough with people who make fun of him; But he is actually quite kind.
People who are rough are young.
Cold, red people are generally kind and big.
People,though rough and red,tend to be cold too.
Being kind and young means that if they are also blue, they are always red.
Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer.
A person who is very round is nice but also quite rough.
I've noticed that big people with blue and green skin tend to be young.