They always say that he is so nice and kind, that is Big Charlie.  But he is also round and blue. Dave who is considered nice was feeling rather rough today. People think that Eric is round. This might be because he is young and blue. In the snow sits Gary, crying from being cold. If a red person is cold and kind to others, they also tend to be blue. You'll always find a young, kind and red person to be a cold person, too. Being kind and young means that if they are also blue, they are always red. All nice people are young.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
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 kind and young and red then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and kind and young then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is nice then they are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Charlie is nice.
True
1
proof
[(triple2)]
("Charlie" "is" "nice" "+")
triple2
Eric is not round.
False
1
inv-proof
[(triple9)]
("Eric" "is" "round" "-")
triple9
Charlie is young.
True
2
proof
[(((triple2) -> rule4))]
("Charlie" "is" "young" "+")
((triple2) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Dave is not young.
False
2
inv-proof
[(((triple7) -> rule4))]
("Dave" "is" "young" "-")
((triple7) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Charlie is red.
True
5
proof
[(((triple4 triple3 ((triple2) -> rule4)) -> rule3))]
("Charlie" "is" "red" "+")
((triple4 triple3 ((triple2) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is not red.
False
5
inv-proof
[(((triple4 triple3 ((triple2) -> rule4)) -> rule3))]
("Charlie" "is" "red" "-")
((triple4 triple3 ((triple2) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
True
9
proof
[(((triple3 ((triple2) -> rule4) ((triple4 triple3 ((triple2) -> rule4)) -> rule3)) -> rule2))]
("Charlie" "is" "cold" "+")
((triple3 ((triple2) -> (rule4 % int3)) ((triple4 triple3 ((triple2) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is not cold.
False
9
inv-proof
[(((triple3 ((triple2) -> rule4) ((triple4 triple3 ((triple2) -> rule4)) -> rule3)) -> rule2))]
("Charlie" "is" "cold" "-")
((triple3 ((triple2) -> (rule4 % int3)) ((triple4 triple3 ((triple2) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "blue" "-")
Eric is red.
Unknown
rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "red" "+")
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "red" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "young" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Charlie is big.[(triple5)] Charlie is blue.[(triple4)] Charlie is kind.[(triple3)] Charlie is nice.[(triple2)] Charlie is round.[(triple1)] Dave is nice.[(triple7)] Dave is rough.[(triple6)] Eric is blue.[(triple10)] Eric is round.[(triple9)] Eric is young.[(triple8)] Gary is cold.[(triple11)] @1: Charlie is young.[(((triple2) -> rule4))] Dave is young.[(((triple7) -> rule4))] @2: Charlie is red.[(((triple4 triple3 ((triple2) -> rule4)) -> rule3))] @3: Charlie is cold.[(((triple3 ((triple2) -> rule4) ((triple4 triple3 ((triple2) -> rule4)) -> rule3)) -> rule2))]
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Eric is blue.
("Eric" "is" "blue" "+")
triple10
Eric is round.
("Eric" "is" "round" "+")
triple9
Eric is young.
("Eric" "is" "young" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Charlie is young.
("Charlie" "is" "young" "+")
((triple2) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple7) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple4 triple3 ((triple2) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple3 ((triple2) -> (rule4 % int3)) ((triple4 triple3 ((triple2) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
They always say that he is so nice and kind, that is Big Charlie; But he is also round and blue.
Dave who is considered nice was feeling rather rough today.
People think that Eric is round; This might be because he is young and blue.
In the snow sits Gary, crying from being cold.
If a red person is cold and kind to others, they also tend to be blue.
You'll always find a young, kind and red person to be a cold person, too.
Being kind and young means that if they are also blue, they are always red.
All nice people are young.