Charlie is both young and fairly round in size. I know Eric really well and you can say he is rough on the outside, cold on the inside and red all of the time. That Gary is as round and red as a cherry, and twice as kind. Someone who has a a young round face is often rough around the edges. A nice young person who is rough around the edges is big. A person that is feeling blue and slightly big, is red as well. Big, red things tend to have a kind spirit to them. If you meet somebody who is young, rough and round, you can be sure they are nice as well.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is round and young then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and nice and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is big and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is red and big then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and round and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Gary is kind.
True
1
proof
[(triple8)]
("Gary" "is" "kind" "+")
triple8
Gary is not kind.
False
1
inv-proof
[(triple8)]
("Gary" "is" "kind" "-")
triple8
Charlie is rough.
True
3
proof
[(((triple2 triple1) -> rule1))]
("Charlie" "is" "rough" "+")
((triple2 triple1) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not rough.
False
3
inv-proof
[(((triple2 triple1) -> rule1))]
("Charlie" "is" "rough" "-")
((triple2 triple1) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
True
6
proof
[(((triple1 triple2 ((triple2 triple1) -> rule1)) -> rule5))]
("Charlie" "is" "nice" "+")
((triple1 triple2 ((triple2 triple1) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not nice.
False
6
inv-proof
[(((triple1 triple2 ((triple2 triple1) -> rule1)) -> rule5))]
("Charlie" "is" "nice" "-")
((triple1 triple2 ((triple2 triple1) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
True
11
proof
[(((triple1 ((triple1 triple2 ((triple2 triple1) -> rule1)) -> rule5) ((triple2 triple1) -> rule1)) -> rule2))]
("Charlie" "is" "big" "+")
((triple1 ((triple1 triple2 ((triple2 triple1) -> (rule1 % int3))) -> (rule5 % int2)) ((triple2 triple1) -> (rule1 % int3))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not big.
False
11
inv-proof
[(((triple1 ((triple1 triple2 ((triple2 triple1) -> rule1)) -> rule5) ((triple2 triple1) -> rule1)) -> rule2))]
("Charlie" "is" "big" "-")
((triple1 ((triple1 triple2 ((triple2 triple1) -> (rule1 % int3))) -> (rule5 % int2)) ((triple2 triple1) -> (rule1 % int3))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is kind.
Unknown
rconc
[@2: Bob is kind.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Bob" "is" "kind" "+")
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "nice" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "rough" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
@0: Charlie is round.[(triple2)] Charlie is young.[(triple1)] Eric is cold.[(triple5)] Eric is red.[(triple4)] Eric is rough.[(triple3)] Gary is kind.[(triple8)] Gary is red.[(triple7)] Gary is round.[(triple6)] @1: Charlie is rough.[(((triple2 triple1) -> rule1))] @2: Charlie is nice.[(((triple1 triple2 ((triple2 triple1) -> rule1)) -> rule5))] @3: Charlie is big.[(((triple1 ((triple1 triple2 ((triple2 triple1) -> rule1)) -> rule5) ((triple2 triple1) -> rule1)) -> rule2))]
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple5
Eric is red.
("Eric" "is" "red" "+")
triple4
Eric is rough.
("Eric" "is" "rough" "+")
triple3
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple2 triple1) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple1 triple2 ((triple2 triple1) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((triple1 ((triple1 triple2 ((triple2 triple1) -> (rule1 % int3))) -> (rule5 % int2)) ((triple2 triple1) -> (rule1 % int3))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is both young and fairly round in size.
I know Eric really well and you can say he is rough on the outside, cold on the inside and red all of the time.
That Gary is as round and red as a cherry, and twice as kind.
Someone who has a a young round face is often rough around the edges.
A nice young person who is rough around the edges is big.
A person that is feeling blue and slightly big, is red as well.
Big, red things tend to have a kind spirit to them.
If you meet somebody who is young, rough and round, you can be sure they are nice as well.