They always call him rough Dave. Eric 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. Fred wears all blue. Harry, a blue and green creature, was also big, rough and kind to others. A red colored and round person who is also young will be rather kind. A male or female with rough, kind and round traits will surely have a nice quality, as well. A blue colored, nice but rough person is definitely young too. A young person with a kind heart and big sized body will be rough around the edges. As far as anyone can tell, whoever is kind, rough, and big is a round person. If someone is blue, young, and rough, they qualify as being round. A nice young person will be rough in texture.
Dave is rough.
("Dave" "is" "rough" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is red and round and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and kind and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and blue and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is young and kind and big then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and rough and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and young and blue then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is young and nice then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Dave is rough.
True
1
proof
[(triple1)]
("Dave" "is" "rough" "+")
triple1
Harry is not big.
False
1
inv-proof
[(triple9)]
("Harry" "is" "big" "-")
triple9
Harry is round.
True
4
proof
[(((triple6 triple5 triple9) -> rule5))]
("Harry" "is" "round" "+")
((triple6 triple5 triple9) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is not round.
False
4
inv-proof
[(((triple6 triple5 triple9) -> rule5))]
("Harry" "is" "round" "-")
((triple6 triple5 triple9) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
True
7
proof
[(((triple5 triple6 ((triple6 triple5 triple9) -> rule5)) -> rule2))]
("Harry" "is" "nice" "+")
((triple5 triple6 ((triple6 triple5 triple9) -> (rule5 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not nice.
False
7
inv-proof
[(((triple5 triple6 ((triple6 triple5 triple9) -> rule5)) -> rule2))]
("Harry" "is" "nice" "-")
((triple5 triple6 ((triple6 triple5 triple9) -> (rule5 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
True
10
proof
[(((((triple5 triple6 ((triple6 triple5 triple9) -> rule5)) -> rule2) triple8 triple5) -> rule3))]
("Harry" "is" "young" "+")
((((triple5 triple6 ((triple6 triple5 triple9) -> (rule5 % int3))) -> (rule2 % int2)) triple8 triple5) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is not young.
False
10
inv-proof
[(((((triple5 triple6 ((triple6 triple5 triple9) -> rule5)) -> rule2) triple8 triple5) -> rule3))]
("Harry" "is" "young" "-")
((((triple5 triple6 ((triple6 triple5 triple9) -> (rule5 % int3))) -> (rule2 % int2)) triple8 triple5) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Eric is not young.
Unknown
inv-rconc
[@3: Eric is young.[CWA. Example of deepest failure = (rule3 <- rule2 <- rule1 <- FAIL)]]
("Eric" "is" "young" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "young" "+")
Eric is not nice.
Unknown
inv-rconc
[@2: Eric is nice.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Eric" "is" "nice" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "round" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Fred is cold.
Unknown
random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Dave is rough.[(triple1)] Eric is blue.[(triple3)] Eric is rough.[(triple2)] Fred is blue.[(triple4)] Harry is big.[(triple9)] Harry is blue.[(triple8)] Harry is green.[(triple7)] Harry is kind.[(triple6)] Harry is rough.[(triple5)] @1: Harry is round.[(((triple6 triple5 triple9) -> rule5))] @2: Harry is nice.[(((triple5 triple6 ((triple6 triple5 triple9) -> rule5)) -> rule2))] @3: Harry is young.[(((((triple5 triple6 ((triple6 triple5 triple9) -> rule5)) -> rule2) triple8 triple5) -> rule3))]
Dave is rough.
("Dave" "is" "rough" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple3
Eric is rough.
("Eric" "is" "rough" "+")
triple2
Fred is blue.
("Fred" "is" "blue" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple5
Harry is round.
("Harry" "is" "round" "+")
((triple6 triple5 triple9) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple5 triple6 ((triple6 triple5 triple9) -> (rule5 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((((triple5 triple6 ((triple6 triple5 triple9) -> (rule5 % int3))) -> (rule2 % int2)) triple8 triple5) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
They always call him rough Dave.
Eric 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.
Fred wears all blue.
Harry, a blue and green creature, was also big, rough and kind to others.
A red colored and round person who is also young will be rather kind.
A male or female with rough, kind and round traits will surely have a nice quality, as well.
A blue colored, nice but rough person is definitely young too.
A young person with a kind heart and big sized body will be rough around the edges.
As far as anyone can tell, whoever is kind, rough, and big is a round person.
If someone is blue, young, and rough, they qualify as being round.
A nice young person will be rough in texture.