Charlie is young and kind.  But he plays really rough with his friends. Eric is so young and darling he is kind to all the old people on the block. Because Gary gets cold easily he tends to appear round from bundling up. Harry, a kind and nice man, is wearing a green sweatshirt. He is also a fairly round sized man in shape. It seems to be that a person who is green, red, and blue will be very big. Nice and kind people tend to live green lifestyle and arent very rough. Nice and blue people have to be big as well. A big person in size will definitely be rough. Young, kind people have a habit of being nice. A nice and young aged person will definitely be green in color. You will find most green,cold and blue people to be rough.
If someone is red and blue and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and kind and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and blue then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and young then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and young then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is green and cold and blue then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Gary is round.
True
1
proof
[(triple6)]
("Gary" "is" "round" "+")
triple6
Harry is not round.
False
1
inv-proof
[(triple8)]
("Harry" "is" "round" "-")
triple8
Harry is rough.
True
4
proof
[(((triple9 triple10 triple11) -> rule2))]
("Harry" "is" "rough" "+")
((triple9 triple10 triple11) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Charlie is not nice.
False
3
inv-proof
[(((triple3 triple1) -> rule5))]
("Charlie" "is" "nice" "-")
((triple3 triple1) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
True
5
proof
[(((((triple3 triple1) -> rule5) triple1) -> rule6))]
("Charlie" "is" "green" "+")
((((triple3 triple1) -> (rule5 % int2)) triple1) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is not green.
False
5
inv-proof
[(((((triple3 triple1) -> rule5) triple1) -> rule6))]
("Charlie" "is" "green" "-")
((((triple3 triple1) -> (rule5 % int2)) triple1) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Eric is rough.
True
10
proof
[(((((triple5 triple4) -> rule5) triple5 ((((triple5 triple4) -> rule5) triple4) -> rule6)) -> rule2))]
("Eric" "is" "rough" "+")
((((triple5 triple4) -> (rule5 % int3)) triple5 ((((triple5 triple4) -> (rule5 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is not rough.
False
10
inv-proof
[(((((triple5 triple4) -> rule5) triple5 ((((triple5 triple4) -> rule5) triple4) -> rule6)) -> rule2))]
("Eric" "is" "rough" "-")
((((triple5 triple4) -> (rule5 % int3)) triple5 ((((triple5 triple4) -> (rule5 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "big" "+")
Eric is not big.
Unknown
inv-rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "big" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "green" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Charlie is kind.[(triple3)] Charlie is rough.[(triple2 OR ((((triple3 triple1) -> rule5) triple3 ((((triple3 triple1) -> rule5) triple1) -> rule6)) -> rule2))] Charlie is young.[(triple1)] Eric is kind.[(triple5)] Eric is young.[(triple4)] Gary is cold.[(triple7)] Gary is round.[(triple6)] Harry is green.[(triple11)] Harry is kind.[(triple10)] Harry is nice.[(triple9)] Harry is round.[(triple8)] @1: Charlie is nice.[(((triple3 triple1) -> rule5))] Eric is nice.[(((triple5 triple4) -> rule5))] Harry is rough.[(((triple9 triple10 triple11) -> rule2))] @2: Charlie is green.[(((((triple3 triple1) -> rule5) triple1) -> rule6))] Eric is green.[(((((triple5 triple4) -> rule5) triple4) -> rule6))] @3: Eric is rough.[(((((triple5 triple4) -> rule5) triple5 ((((triple5 triple4) -> rule5) triple4) -> rule6)) -> rule2))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
((((triple3 triple1) -> (rule5 % int3)) triple3 ((((triple3 triple1) -> (rule5 % int3)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple8
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple3 triple1) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple5 triple4) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple9 triple10 triple11) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((((triple3 triple1) -> (rule5 % int2)) triple1) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((((triple5 triple4) -> (rule5 % int2)) triple4) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
((((triple5 triple4) -> (rule5 % int3)) triple5 ((((triple5 triple4) -> (rule5 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Charlie is young and kind; But he plays really rough with his friends.
Eric is so young and darling he is kind to all the old people on the block.
Because Gary gets cold easily he tends to appear round from bundling up.
Harry, a kind and nice man, is wearing a green sweatshirt; He is also a fairly round sized man in shape.
It seems to be that a person who is green, red, and blue will be very big.
Nice and kind people tend to live green lifestyle and arent very rough.
Nice and blue people have to be big as well.
A big person in size will definitely be rough.
Young, kind people have a habit of being nice.
A nice and young aged person will definitely be green in color.
You will find most green,cold and blue people to be rough.