My friend Charlie is very young. People say he is nice for having a round shape. Eric is both young and fairly round in size. That guy Fred is big, but he's always kind to little ones. They always call him rough Gary. Nice people that are blue because they are cold turn green with envy. Soon you will understand that big people are nice. A downhearted blue person who is kind is round. Someone who is cold, big, and rough is always green, as a rule. Nice people who are big are always feeling blue. A person who is round shaped while also being quite cold tends to be nice. Green people who are nice are rough.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If someone is blue and nice and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and big and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Charlie is young.
True
1
proof
[(triple1)]
("Charlie" "is" "young" "+")
triple1
Eric is not young.
False
1
inv-proof
[(triple4)]
("Eric" "is" "young" "-")
triple4
Fred is nice.
True
2
proof
[(((triple7) -> rule2))]
("Fred" "is" "nice" "+")
((triple7) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is not nice.
False
2
inv-proof
[(((triple7) -> rule2))]
("Fred" "is" "nice" "-")
((triple7) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is blue.
True
4
proof
[(((((triple7) -> rule2) triple7) -> rule5))]
("Fred" "is" "blue" "+")
((((triple7) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is not blue.
False
4
inv-proof
[(((((triple7) -> rule2) triple7) -> rule5))]
("Fred" "is" "blue" "-")
((((triple7) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is round.
True
6
proof
[(((triple6 ((((triple7) -> rule2) triple7) -> rule5)) -> rule3))]
("Fred" "is" "round" "+")
((triple6 ((((triple7) -> (rule2 % int3)) triple7) -> (rule5 % int2))) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is not round.
False
6
inv-proof
[(((triple6 ((((triple7) -> rule2) triple7) -> rule5)) -> rule3))]
("Fred" "is" "round" "-")
((triple6 ((((triple7) -> (rule2 % int3)) triple7) -> (rule5 % int2))) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "nice" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "green" "+")
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "blue" "-")
Charlie is rough.
Unknown
rconc
[@2: Charlie is rough.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Charlie" "is" "rough" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Charlie is nice.[(triple3)] Charlie is round.[(triple2)] Charlie is young.[(triple1)] Eric is round.[(triple5)] Eric is young.[(triple4)] Fred is big.[(triple7)] Fred is kind.[(triple6)] Gary is rough.[(triple8)] @1: Fred is nice.[(((triple7) -> rule2))] @2: Fred is blue.[(((((triple7) -> rule2) triple7) -> rule5))] @3: Fred is round.[(((triple6 ((((triple7) -> rule2) triple7) -> rule5)) -> rule3))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Eric is round.
("Eric" "is" "round" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Fred is nice.
("Fred" "is" "nice" "+")
((triple7) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((((triple7) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((triple6 ((((triple7) -> (rule2 % int3)) triple7) -> (rule5 % int2))) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
My friend Charlie is very young; People say he is nice for having a round shape.
Eric is both young and fairly round in size.
That guy Fred is big, but he's always kind to little ones.
They always call him rough Gary.
Nice people that are blue because they are cold turn green with envy.
Soon you will understand that big people are nice.
A downhearted blue person who is kind is round.
Someone who is cold, big, and rough is always green, as a rule.
Nice people who are big are always feeling blue.
A person who is round shaped while also being quite cold tends to be nice.
Green people who are nice are rough.