My friend Dave is very young. People say he is nice for having a round shape. Because Eric, 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. They always call him rough Fred. Big people who are red in color are often nice. Almost all of the young blue and red people I have seen are big as well. Blue, red, young people are always going to be kind people, too. Someone who is kind and young with a round figure will always be red too. Everyone knows that if you are cold, kind, and big, it goes without saying that you are round. People who are nice and kind are somewhat young.
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is rough.
("Fred" "is" "rough" "+")
If someone is big and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and blue and red then they are big.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and red and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and young and kind then they are red.
((("someone" "is" "round" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and kind and big then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and nice then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Eric is blue.
True
1
proof
[(triple8)]
("Eric" "is" "blue" "+")
triple8
Eric is not rough.
False
1
inv-proof
[(triple6)]
("Eric" "is" "rough" "-")
triple6
Eric is red.
True
4
proof
[(((triple5 triple4 triple7) -> rule4))]
("Eric" "is" "red" "+")
((triple5 triple4 triple7) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is not red.
False
4
inv-proof
[(((triple5 triple4 triple7) -> rule4))]
("Eric" "is" "red" "-")
((triple5 triple4 triple7) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is big.
True
7
proof
[(((triple4 triple8 ((triple5 triple4 triple7) -> rule4)) -> rule2))]
("Eric" "is" "big" "+")
((triple4 triple8 ((triple5 triple4 triple7) -> (rule4 % int2))) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is not big.
False
7
inv-proof
[(((triple4 triple8 ((triple5 triple4 triple7) -> rule4)) -> rule2))]
("Eric" "is" "big" "-")
((triple4 triple8 ((triple5 triple4 triple7) -> (rule4 % int2))) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is nice.
True
12
proof
[(((((triple4 triple8 ((triple5 triple4 triple7) -> rule4)) -> rule2) ((triple5 triple4 triple7) -> rule4)) -> rule1))]
("Eric" "is" "nice" "+")
((((triple4 triple8 ((triple5 triple4 triple7) -> (rule4 % int3))) -> (rule2 % int2)) ((triple5 triple4 triple7) -> (rule4 % int3))) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not nice.
False
12
inv-proof
[(((((triple4 triple8 ((triple5 triple4 triple7) -> rule4)) -> rule2) ((triple5 triple4 triple7) -> rule4)) -> rule1))]
("Eric" "is" "nice" "-")
((((triple4 triple8 ((triple5 triple4 triple7) -> (rule4 % int3))) -> (rule2 % int2)) ((triple5 triple4 triple7) -> (rule4 % int3))) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "round" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "round" "+")
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "kind" "-")
Dave is red.
Unknown
rconc
[@2: Dave is red.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Dave" "is" "red" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Dave is nice.[(triple3)] Dave is round.[(triple2)] Dave is young.[(triple1)] Eric is blue.[(triple8)] Eric is kind.[(triple7)] Eric is rough.[(triple6)] Eric is round.[(triple5)] Eric is young.[(triple4)] Fred is rough.[(triple9)] @1: Eric is red.[(((triple5 triple4 triple7) -> rule4))] @2: Eric is big.[(((triple4 triple8 ((triple5 triple4 triple7) -> rule4)) -> rule2))] @3: Eric is nice.[(((((triple4 triple8 ((triple5 triple4 triple7) -> rule4)) -> rule2) ((triple5 triple4 triple7) -> rule4)) -> rule1))]
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is kind.
("Eric" "is" "kind" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Fred is rough.
("Fred" "is" "rough" "+")
triple9
Eric is red.
("Eric" "is" "red" "+")
((triple5 triple4 triple7) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((triple4 triple8 ((triple5 triple4 triple7) -> (rule4 % int2))) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((((triple4 triple8 ((triple5 triple4 triple7) -> (rule4 % int3))) -> (rule2 % int2)) ((triple5 triple4 triple7) -> (rule4 % int3))) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
My friend Dave is very young; People say he is nice for having a round shape.
Because Eric, 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.
They always call him rough Fred.
Big people who are red in color are often nice.
Almost all of the young blue and red people I have seen are big as well.
Blue, red, young people are always going to be kind people, too.
Someone who is kind and young with a round figure will always be red too.
Everyone knows that if you are cold, kind, and big, it goes without saying that you are round.
People who are nice and kind are somewhat young.