They always call him rough Eric. Others enjoy Fred's company because he is so nice and kind. Gary is big and tends to wear red shirts. Harry is red from working out in the sun all day. he is green with envy that others get to work inside all day and this makes him feel blue. But Harry is big and young so he can handle it. If someone is cold and young, you'll see that they are kind. Fat, round people who are green with envy and notoriously rough. Young and nice people have great big smiles. Maybe someone is rough and blue with the cold. I've noticed that someone who is big and acts cold towards others is green as well. Someone blue and red is definitely round and dressed as a clown.
Eric is rough.
("Eric" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is cold and young then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and round then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and big then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Fred is kind.
True
1
proof
[(triple3)]
("Fred" "is" "kind" "+")
triple3
Harry is not blue.
False
1
inv-proof
[(triple9)]
("Harry" "is" "blue" "-")
triple9
Harry is round.
True
3
proof
[(((triple9 triple7) -> rule6))]
("Harry" "is" "round" "+")
((triple9 triple7) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is not round.
False
3
inv-proof
[(((triple9 triple7) -> rule6))]
("Harry" "is" "round" "-")
((triple9 triple7) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
True
5
proof
[(((triple8 ((triple9 triple7) -> rule6)) -> rule2))]
("Harry" "is" "rough" "+")
((triple8 ((triple9 triple7) -> (rule6 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not rough.
False
5
inv-proof
[(((triple8 ((triple9 triple7) -> rule6)) -> rule2))]
("Harry" "is" "rough" "-")
((triple8 ((triple9 triple7) -> (rule6 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is cold.
True
7
proof
[(((((triple8 ((triple9 triple7) -> rule6)) -> rule2) triple9) -> rule4))]
("Harry" "is" "cold" "+")
((((triple8 ((triple9 triple7) -> (rule6 % int3))) -> (rule2 % int2)) triple9) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is not cold.
False
7
inv-proof
[(((((triple8 ((triple9 triple7) -> rule6)) -> rule2) triple9) -> rule4))]
("Harry" "is" "cold" "-")
((((triple8 ((triple9 triple7) -> (rule6 % int3))) -> (rule2 % int2)) triple9) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is kind.
True
9
proof
[(((((((triple8 ((triple9 triple7) -> rule6)) -> rule2) triple9) -> rule4) triple6) -> rule1))]
("Harry" "is" "kind" "+")
((((((triple8 ((triple9 triple7) -> (rule6 % int4))) -> (rule2 % int3)) triple9) -> (rule4 % int2)) triple6) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is not kind.
False
9
inv-proof
[(((((((triple8 ((triple9 triple7) -> rule6)) -> rule2) triple9) -> rule4) triple6) -> rule1))]
("Harry" "is" "kind" "-")
((((((triple8 ((triple9 triple7) -> (rule6 % int4))) -> (rule2 % int3)) triple9) -> (rule4 % int2)) triple6) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Eric is not kind.
Unknown
inv-rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "kind" "-")
Eric is green.
Unknown
rconc
[@2: Eric is green.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Eric" "is" "green" "+")
Fred is not big.
Unknown
inv-rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "big" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "+")
Fred is not cold.
Unknown
inv-rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "cold" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
@0: Eric is rough.[(triple1)] Fred is kind.[(triple3)] Fred is nice.[(triple2)] Gary is big.[(triple5)] Gary is red.[(triple4)] Harry is big.[(triple10)] Harry is blue.[(triple9)] Harry is green.[(triple8)] Harry is red.[(triple7)] Harry is young.[(triple6)] @1: Harry is round.[(((triple9 triple7) -> rule6))] @2: Harry is rough.[(((triple8 ((triple9 triple7) -> rule6)) -> rule2))] @3: Harry is cold.[(((((triple8 ((triple9 triple7) -> rule6)) -> rule2) triple9) -> rule4))] @4: Harry is kind.[(((((((triple8 ((triple9 triple7) -> rule6)) -> rule2) triple9) -> rule4) triple6) -> rule1))]
Eric is rough.
("Eric" "is" "rough" "+")
triple1
Fred is kind.
("Fred" "is" "kind" "+")
triple3
Fred is nice.
("Fred" "is" "nice" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
((triple9 triple7) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple8 ((triple9 triple7) -> (rule6 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((((triple8 ((triple9 triple7) -> (rule6 % int3))) -> (rule2 % int2)) triple9) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
((((((triple8 ((triple9 triple7) -> (rule6 % int4))) -> (rule2 % int3)) triple9) -> (rule4 % int2)) triple6) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
They always call him rough Eric.
Others enjoy Fred's company because he is so nice and kind.
Gary is big and tends to wear red shirts.
Harry is red from working out in the sun all day; he is green with envy that others get to work inside all day and this makes him feel blue; But Harry is big and young so he can handle it.
If someone is cold and young, you'll see that they are kind.
Fat, round people who are green with envy and notoriously rough.
Young and nice people have great big smiles.
Maybe someone is rough and blue with the cold.
I've noticed that someone who is big and acts cold towards others is green as well.
Someone blue and red is definitely round and dressed as a clown.