Charlie is a person who is young and also rough. He's also someone who is big and blue. Eric is young, he is also red and green. Fred is big and rough. Red Gary is what folks call him, because he is quite red. A person who's big and kind will also be cold. A person that is cold, blue and nice is also considered to be round. Young people who rough around in the cold are known to be very red. It's impossible for someone to be red, big, and cold without them also being kind. Looking blue can be a sign that someone is cold. Rough, blue people tend to have a lot of green aspects.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is green.
("Eric" "is" "green" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
If someone is big and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
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 rough and young and cold then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is red and big and cold then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue then they are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and blue then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Charlie is young.
True
1
proof
[(triple1)]
("Charlie" "is" "young" "+")
triple1
Gary is not red.
False
1
inv-proof
[(triple10)]
("Gary" "is" "red" "-")
triple10
Charlie is green.
True
3
proof
[(((triple2 triple3) -> rule6))]
("Charlie" "is" "green" "+")
((triple2 triple3) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not green.
False
3
inv-proof
[(((triple2 triple3) -> rule6))]
("Charlie" "is" "green" "-")
((triple2 triple3) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
True
5
proof
[(((triple2 triple1 ((triple3) -> rule5)) -> rule3))]
("Charlie" "is" "red" "+")
((triple2 triple1 ((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is not red.
False
5
inv-proof
[(((triple2 triple1 ((triple3) -> rule5)) -> rule3))]
("Charlie" "is" "red" "-")
((triple2 triple1 ((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
True
9
proof
[(((((triple2 triple1 ((triple3) -> rule5)) -> rule3) triple4 ((triple3) -> rule5)) -> rule4))]
("Charlie" "is" "kind" "+")
((((triple2 triple1 ((triple3) -> (rule5 % int3))) -> (rule3 % int2)) triple4 ((triple3) -> (rule5 % int3))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is not kind.
False
9
inv-proof
[(((((triple2 triple1 ((triple3) -> rule5)) -> rule3) triple4 ((triple3) -> rule5)) -> rule4))]
("Charlie" "is" "kind" "-")
((((triple2 triple1 ((triple3) -> (rule5 % int3))) -> (rule3 % int2)) triple4 ((triple3) -> (rule5 % int3))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "round" "-")
Fred is kind.
Unknown
rconc
[@2: Fred is kind.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Fred" "is" "kind" "+")
Fred is not red.
Unknown
inv-rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "red" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "round" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
@0: Charlie is big.[(triple4)] Charlie is blue.[(triple3)] Charlie is rough.[(triple2)] Charlie is young.[(triple1)] Eric is green.[(triple7)] Eric is red.[(triple6)] Eric is young.[(triple5)] Fred is big.[(triple9)] Fred is rough.[(triple8)] Gary is red.[(triple10)] @1: Charlie is cold.[(((triple3) -> rule5))] Charlie is green.[(((triple2 triple3) -> rule6))] @2: Charlie is red.[(((triple2 triple1 ((triple3) -> rule5)) -> rule3))] @3: Charlie is kind.[(((((triple2 triple1 ((triple3) -> rule5)) -> rule3) triple4 ((triple3) -> rule5)) -> rule4))]
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Eric is green.
("Eric" "is" "green" "+")
triple7
Eric is red.
("Eric" "is" "red" "+")
triple6
Eric is young.
("Eric" "is" "young" "+")
triple5
Fred is big.
("Fred" "is" "big" "+")
triple9
Fred is rough.
("Fred" "is" "rough" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple10
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple3) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple2 triple3) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple2 triple1 ((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple2 triple1 ((triple3) -> (rule5 % int3))) -> (rule3 % int2)) triple4 ((triple3) -> (rule5 % int3))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is a person who is young and also rough; He's also someone who is big and blue.
Eric is young, he is also red and green.
Fred is big and rough.
Red Gary is what folks call him, because he is quite red.
A person who's big and kind will also be cold.
A person that is cold, blue and nice is also considered to be round.
Young people who rough around in the cold are known to be very red.
It's impossible for someone to be red, big, and cold without them also being kind.
Looking blue can be a sign that someone is cold.
Rough, blue people tend to have a lot of green aspects.