That Charlie is as round and red as a cherry, and twice as kind. Eric is a person both green and big. Most people consider Fred to bed red. He's pretty cold to people and often feels blue. Fred is a big person. If a red person is cold and kind to others, they also tend to be blue. Red, kind, young people will be rough people, too. People who are nice, round and wearing blue will have red cheeks. A person that is cold, blue and nice is also considered to be round. If you big person approaches and is cold, fear not because they are nice. I've noticed that someone with a round shape is also green.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is cold and kind and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and kind and red then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and round and blue then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and blue and nice then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is big and cold then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Eric is green.
True
1
proof
[(triple4)]
("Eric" "is" "green" "+")
triple4
Charlie is not red.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "red" "-")
triple2
Charlie is green.
True
2
proof
[(((triple1) -> rule6))]
("Charlie" "is" "green" "+")
((triple1) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not green.
False
2
inv-proof
[(((triple1) -> rule6))]
("Charlie" "is" "green" "-")
((triple1) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Fred is round.
True
6
proof
[(((triple7 triple8 ((triple9 triple7) -> rule5)) -> rule4))]
("Fred" "is" "round" "+")
((triple7 triple8 ((triple9 triple7) -> (rule5 % int2))) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is not round.
False
6
inv-proof
[(((triple7 triple8 ((triple9 triple7) -> rule5)) -> rule4))]
("Fred" "is" "round" "-")
((triple7 triple8 ((triple9 triple7) -> (rule5 % int2))) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is green.
True
7
proof
[(((((triple7 triple8 ((triple9 triple7) -> rule5)) -> rule4)) -> rule6))]
("Fred" "is" "green" "+")
((((triple7 triple8 ((triple9 triple7) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is not green.
False
7
inv-proof
[(((((triple7 triple8 ((triple9 triple7) -> rule5)) -> rule4)) -> rule6))]
("Fred" "is" "green" "-")
((((triple7 triple8 ((triple9 triple7) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "round" "+")
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "rough" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "nice" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
@0: Charlie is kind.[(triple3)] Charlie is red.[(triple2)] Charlie is round.[(triple1)] Eric is big.[(triple5)] Eric is green.[(triple4)] Fred is big.[(triple9)] Fred is blue.[(triple8)] Fred is cold.[(triple7)] Fred is red.[(triple6 OR ((((triple9 triple7) -> rule5) ((triple7 triple8 ((triple9 triple7) -> rule5)) -> rule4) triple8) -> rule3))] @1: Charlie is green.[(((triple1) -> rule6))] Fred is nice.[(((triple9 triple7) -> rule5))] @2: Fred is round.[(((triple7 triple8 ((triple9 triple7) -> rule5)) -> rule4))] @3: Fred is green.[(((((triple7 triple8 ((triple9 triple7) -> rule5)) -> rule4)) -> rule6))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple5
Eric is green.
("Eric" "is" "green" "+")
triple4
Fred is big.
("Fred" "is" "big" "+")
triple9
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple6
((((triple9 triple7) -> (rule5 % int3)) ((triple7 triple8 ((triple9 triple7) -> (rule5 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
((triple1) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple9 triple7) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
((triple7 triple8 ((triple9 triple7) -> (rule5 % int2))) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((((triple7 triple8 ((triple9 triple7) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
That Charlie is as round and red as a cherry, and twice as kind.
Eric is a person both green and big.
Most people consider Fred to bed red; He's pretty cold to people and often feels blue; Fred is a big person.
If a red person is cold and kind to others, they also tend to be blue.
Red, kind, young people will be rough people, too.
People who are nice, round and wearing blue will have red cheeks.
A person that is cold, blue and nice is also considered to be round.
If you big person approaches and is cold, fear not because they are nice.
I've noticed that someone with a round shape is also green.