Charlie is young but big for his age and he's cold and red at the moment too. Eric is a person both green and big. Red Fred is what folks call him, because he is quite red. From a certain angle Gary is blue but he is young so maybe that will go away. Anyone that's rough and cold is also going to be blue. A big, nice, blue person is likely to be young. Someone who's young and frosty cold are actually very nice. A red and green colored person who is cold will be round shaped. A nice and young aged person will definitely be green in color.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is red.
("Fred" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and nice and blue then they are young.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is young and cold then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and cold and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and young then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Charlie is cold.
True
1
proof
[(triple3)]
("Charlie" "is" "cold" "+")
triple3
Fred is not red.
False
1
inv-proof
[(triple7)]
("Fred" "is" "red" "-")
triple7
Charlie is nice.
True
3
proof
[(((triple1 triple3) -> rule3))]
("Charlie" "is" "nice" "+")
((triple1 triple3) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not nice.
False
3
inv-proof
[(((triple1 triple3) -> rule3))]
("Charlie" "is" "nice" "-")
((triple1 triple3) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
True
5
proof
[(((((triple1 triple3) -> rule3) triple1) -> rule5))]
("Charlie" "is" "green" "+")
((((triple1 triple3) -> (rule3 % int2)) triple1) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is not green.
False
5
inv-proof
[(((((triple1 triple3) -> rule3) triple1) -> rule5))]
("Charlie" "is" "green" "-")
((((triple1 triple3) -> (rule3 % int2)) triple1) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
True
8
proof
[(((triple2 triple3 ((((triple1 triple3) -> rule3) triple1) -> rule5)) -> rule4))]
("Charlie" "is" "round" "+")
((triple2 triple3 ((((triple1 triple3) -> (rule3 % int3)) triple1) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is not round.
False
8
inv-proof
[(((triple2 triple3 ((((triple1 triple3) -> rule3) triple1) -> rule5)) -> rule4))]
("Charlie" "is" "round" "-")
((triple2 triple3 ((((triple1 triple3) -> (rule3 % int3)) triple1) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "round" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "blue" "+")
Fred is not green.
Unknown
inv-rconc
[@2: Fred is green.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Fred" "is" "green" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "nice" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Charlie is big.[(triple4)] Charlie is cold.[(triple3)] Charlie is red.[(triple2)] Charlie is young.[(triple1)] Eric is big.[(triple6)] Eric is green.[(triple5)] Fred is red.[(triple7)] Gary is blue.[(triple9)] Gary is young.[(triple8)] @1: Charlie is nice.[(((triple1 triple3) -> rule3))] @2: Charlie is green.[(((((triple1 triple3) -> rule3) triple1) -> rule5))] @3: Charlie is round.[(((triple2 triple3 ((((triple1 triple3) -> rule3) triple1) -> rule5)) -> rule4))]
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
triple5
Fred is red.
("Fred" "is" "red" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple8
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple1 triple3) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((((triple1 triple3) -> (rule3 % int2)) triple1) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((triple2 triple3 ((((triple1 triple3) -> (rule3 % int3)) triple1) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is young but big for his age and he's cold and red at the moment too.
Eric is a person both green and big.
Red Fred is what folks call him, because he is quite red.
From a certain angle Gary is blue but he is young so maybe that will go away.
Anyone that's rough and cold is also going to be blue.
A big, nice, blue person is likely to be young.
Someone who's young and frosty cold are actually very nice.
A red and green colored person who is cold will be round shaped.
A nice and young aged person will definitely be green in color.