Everyone noticed how round and nice Charlie was. He was kind, and everyone thought he was green and big. Eric is round shaped and green colored. Gary is interestingly colored red and blue, and is also very kind. All kind, red, and young people are also nice. I have found that if someone is kind and red, that they are quite often nice. A nice and colored blue person will be rather big. A big person in size will definitely be rough. Most green and round people,though big are quite young.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is green.
("Eric" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is kind and red and young then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and nice then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and round and big then they are young.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Gary is kind.
True
1
proof
[(triple9)]
("Gary" "is" "kind" "+")
triple9
Charlie is not green.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "green" "-")
triple4
Charlie is young.
True
4
proof
[(((triple4 triple1 triple5) -> rule5))]
("Charlie" "is" "young" "+")
((triple4 triple1 triple5) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Gary is not nice.
False
3
inv-proof
[(((triple9 triple8) -> rule2))]
("Gary" "is" "nice" "-")
((triple9 triple8) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
True
5
proof
[(((triple10 ((triple9 triple8) -> rule2)) -> rule3))]
("Gary" "is" "big" "+")
((triple10 ((triple9 triple8) -> (rule2 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not big.
False
5
inv-proof
[(((triple10 ((triple9 triple8) -> rule2)) -> rule3))]
("Gary" "is" "big" "-")
((triple10 ((triple9 triple8) -> (rule2 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is rough.
True
6
proof
[(((((triple10 ((triple9 triple8) -> rule2)) -> rule3)) -> rule4))]
("Gary" "is" "rough" "+")
((((triple10 ((triple9 triple8) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is not rough.
False
6
inv-proof
[(((((triple10 ((triple9 triple8) -> rule2)) -> rule3)) -> rule4))]
("Gary" "is" "rough" "-")
((((triple10 ((triple9 triple8) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Eric is not rough.
Unknown
inv-rconc
[@2: Eric is rough.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Eric" "is" "rough" "-")
Eric is young.
Unknown
rconc
[@2: Eric is young.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Eric" "is" "young" "+")
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "nice" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "big" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
@0: Charlie is big.[(triple5)] Charlie is green.[(triple4)] Charlie is kind.[(triple3)] Charlie is nice.[(triple2)] Charlie is round.[(triple1)] Eric is green.[(triple7)] Eric is round.[(triple6)] Gary is blue.[(triple10)] Gary is kind.[(triple9)] Gary is red.[(triple8)] @1: Charlie is rough.[(((triple5) -> rule4))] Charlie is young.[(((triple4 triple1 triple5) -> rule5))] Gary is nice.[(((triple9 triple8) -> rule2))] @2: Gary is big.[(((triple10 ((triple9 triple8) -> rule2)) -> rule3))] @3: Gary is rough.[(((((triple10 ((triple9 triple8) -> rule2)) -> rule3)) -> rule4))]
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Eric is green.
("Eric" "is" "green" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple5) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple4 triple1 triple5) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple9 triple8) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple10 ((triple9 triple8) -> (rule2 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((((triple10 ((triple9 triple8) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Everyone noticed how round and nice Charlie was; He was kind, and everyone thought he was green and big.
Eric is round shaped and green colored.
Gary is interestingly colored red and blue, and is also very kind.
All kind, red, and young people are also nice.
I have found that if someone is kind and red, that they are quite often nice.
A nice and colored blue person will be rather big.
A big person in size will definitely be rough.
Most green and round people,though big are quite young.