When you meet Charlie you'll the two characteristics that will standout is that he's red but also rough. Dave is red with anger because he's green with envy, like all young, rough boys. Eric is big and tends to wear red shirts. Because Gary gets cold easily he tends to appear round from bundling up. Nice people that are blue because they are cold turn green with envy. A cold person who is round but rough around the edges is big. A nice and blue person who's also red will be a rough person. A rough, big soul is sure to be nice, too. Someone who is nice, green, and cold, is always going to be young. Julie is really nice to gardeners since she has a green thumb. A person with a round body will be feeling very cold and will be rough to handle.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
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 round and cold and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and nice and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and big then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and green and cold then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and round then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
Dave is red.
True
1
proof
[(triple5)]
("Dave" "is" "red" "+")
triple5
Eric is not red.
False
1
inv-proof
[(triple7)]
("Eric" "is" "red" "-")
triple7
Gary is rough.
True
3
proof
[(((triple10 triple9) -> rule7))]
("Gary" "is" "rough" "+")
((triple10 triple9) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not rough.
False
3
inv-proof
[(((triple10 triple9) -> rule7))]
("Gary" "is" "rough" "-")
((triple10 triple9) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
True
6
proof
[(((triple9 triple10 ((triple10 triple9) -> rule7)) -> rule2))]
("Gary" "is" "big" "+")
((triple9 triple10 ((triple10 triple9) -> (rule7 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is not big.
False
6
inv-proof
[(((triple9 triple10 ((triple10 triple9) -> rule7)) -> rule2))]
("Gary" "is" "big" "-")
((triple9 triple10 ((triple10 triple9) -> (rule7 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
True
10
proof
[(((((triple10 triple9) -> rule7) ((triple9 triple10 ((triple10 triple9) -> rule7)) -> rule2)) -> rule4))]
("Gary" "is" "nice" "+")
((((triple10 triple9) -> (rule7 % int3)) ((triple9 triple10 ((triple10 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is not nice.
False
10
inv-proof
[(((((triple10 triple9) -> rule7) ((triple9 triple10 ((triple10 triple9) -> rule7)) -> rule2)) -> rule4))]
("Gary" "is" "nice" "-")
((((triple10 triple9) -> (rule7 % int3)) ((triple9 triple10 ((triple10 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
True
11
proof
[(((((((triple10 triple9) -> rule7) ((triple9 triple10 ((triple10 triple9) -> rule7)) -> rule2)) -> rule4)) -> rule6))]
("Gary" "is" "green" "+")
((((((triple10 triple9) -> (rule7 % int4)) ((triple9 triple10 ((triple10 triple9) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is not green.
False
11
inv-proof
[(((((((triple10 triple9) -> rule7) ((triple9 triple10 ((triple10 triple9) -> rule7)) -> rule2)) -> rule4)) -> rule6))]
("Gary" "is" "green" "-")
((((((triple10 triple9) -> (rule7 % int4)) ((triple9 triple10 ((triple10 triple9) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is young.
True
23
proof
[(((((((triple10 triple9) -> rule7) ((triple9 triple10 ((triple10 triple9) -> rule7)) -> rule2)) -> rule4) ((((((triple10 triple9) -> rule7) ((triple9 triple10 ((triple10 triple9) -> rule7)) -> rule2)) -> rule4)) -> rule6) triple10) -> rule5))]
("Gary" "is" "young" "+")
((((((triple10 triple9) -> (rule7 % int5)) ((triple9 triple10 ((triple10 triple9) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((((((triple10 triple9) -> (rule7 % int5)) ((triple9 triple10 ((triple10 triple9) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple10) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is not young.
False
23
inv-proof
[(((((((triple10 triple9) -> rule7) ((triple9 triple10 ((triple10 triple9) -> rule7)) -> rule2)) -> rule4) ((((((triple10 triple9) -> rule7) ((triple9 triple10 ((triple10 triple9) -> rule7)) -> rule2)) -> rule4)) -> rule6) triple10) -> rule5))]
("Gary" "is" "young" "-")
((((((triple10 triple9) -> (rule7 % int5)) ((triple9 triple10 ((triple10 triple9) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((((((triple10 triple9) -> (rule7 % int5)) ((triple9 triple10 ((triple10 triple9) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple10) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Eric is not nice.
Unknown
inv-rconc
[@2: Eric is nice.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Eric" "is" "nice" "-")
Dave is nice.
Unknown
rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Dave" "is" "nice" "+")
Charlie is not green.
Unknown
inv-rconc
[@3: Charlie is green.[CWA. Example of deepest failure = (rule6 <- rule4 <- rule2 <- FAIL)]]
("Charlie" "is" "green" "-")
Eric is green.
Unknown
rconc
[@3: Eric is green.[CWA. Example of deepest failure = (rule6 <- rule4 <- rule3 <- FAIL)]]
("Eric" "is" "green" "+")
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "young" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "young" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
@0: Charlie is red.[(triple2)] Charlie is rough.[(triple1)] Dave is green.[(triple6)] Dave is red.[(triple5)] Dave is rough.[(triple4)] Dave is young.[(triple3)] Eric is big.[(triple8)] Eric is red.[(triple7)] Gary is cold.[(triple10)] Gary is round.[(triple9)] @1: Gary is rough.[(((triple10 triple9) -> rule7))] @2: Gary is big.[(((triple9 triple10 ((triple10 triple9) -> rule7)) -> rule2))] @3: Gary is nice.[(((((triple10 triple9) -> rule7) ((triple9 triple10 ((triple10 triple9) -> rule7)) -> rule2)) -> rule4))] @4: Gary is green.[(((((((triple10 triple9) -> rule7) ((triple9 triple10 ((triple10 triple9) -> rule7)) -> rule2)) -> rule4)) -> rule6))] @5: Gary is young.[(((((((triple10 triple9) -> rule7) ((triple9 triple10 ((triple10 triple9) -> rule7)) -> rule2)) -> rule4) ((((((triple10 triple9) -> rule7) ((triple9 triple10 ((triple10 triple9) -> rule7)) -> rule2)) -> rule4)) -> rule6) triple10) -> rule5))]
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple3
Eric is big.
("Eric" "is" "big" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
((triple10 triple9) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple9 triple10 ((triple10 triple9) -> (rule7 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((((triple10 triple9) -> (rule7 % int3)) ((triple9 triple10 ((triple10 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
((((((triple10 triple9) -> (rule7 % int4)) ((triple9 triple10 ((triple10 triple9) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
((((((triple10 triple9) -> (rule7 % int5)) ((triple9 triple10 ((triple10 triple9) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((((((triple10 triple9) -> (rule7 % int5)) ((triple9 triple10 ((triple10 triple9) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple10) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
When you meet Charlie you'll the two characteristics that will standout is that he's red but also rough.
Dave is red with anger because he's green with envy, like all young, rough boys.
Eric is big and tends to wear red shirts.
Because Gary gets cold easily he tends to appear round from bundling up.
Nice people that are blue because they are cold turn green with envy.
A cold person who is round but rough around the edges is big.
A nice and blue person who's also red will be a rough person.
A rough, big soul is sure to be nice, too.
Someone who is nice, green, and cold, is always going to be young.
Julie is really nice to gardeners since she has a green thumb.
A person with a round body will be feeling very cold and will be rough to handle.