Dave, who is a very nice man, is also quite round in shape. He found himself quite blue from being made fun of him, but that also made his face red with anger. Young Eric is a round fellow: sometimes nice, sometimes rough. When you meet Gary you'll the two characteristics that will standout is that he's red but also rough. People who are red and round are usually assumed to be green. Someone with round, red, and kind traits also will be green. A person that is known to be big and rough is also green, they will feel blue about it. People who are red and green are also nice. A person that is the color red will definitely be round shaped.
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
If someone is red and round then they are green.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is round and red and kind then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is big and rough and green then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and red then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Dave is blue.
True
1
proof
[(triple4)]
("Dave" "is" "blue" "+")
triple4
Gary is not red.
False
1
inv-proof
[(triple10)]
("Gary" "is" "red" "-")
triple10
Gary is round.
True
2
proof
[(((triple10) -> rule5))]
("Gary" "is" "round" "+")
((triple10) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Dave is not green.
False
3
inv-proof
[(((triple2 triple1) -> rule1) OR ((triple2 ((triple2) -> rule5)) -> rule1))]
("Dave" "is" "green" "-")
((triple2 triple1) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((triple2 ((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Gary is green.
True
4
proof
[(((triple10 ((triple10) -> rule5)) -> rule1))]
("Gary" "is" "green" "+")
((triple10 ((triple10) -> (rule5 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not green.
False
4
inv-proof
[(((triple10 ((triple10) -> rule5)) -> rule1))]
("Gary" "is" "green" "-")
((triple10 ((triple10) -> (rule5 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
True
6
proof
[(((((triple10 ((triple10) -> rule5)) -> rule1) triple10) -> rule4))]
("Gary" "is" "nice" "+")
((((triple10 ((triple10) -> (rule5 % int3))) -> (rule1 % int2)) triple10) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is not nice.
False
6
inv-proof
[(((((triple10 ((triple10) -> rule5)) -> rule1) triple10) -> rule4))]
("Gary" "is" "nice" "-")
((((triple10 ((triple10) -> (rule5 % int3))) -> (rule1 % int2)) triple10) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "blue" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "green" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Dave is blue.[(triple4)] Dave is nice.[(triple3 OR ((((triple2 triple1) -> rule1) triple2) -> rule4) OR ((((triple2 ((triple2) -> rule5)) -> rule1) triple2) -> rule4))] Dave is red.[(triple2)] Dave is round.[(triple1 OR ((triple2) -> rule5))] Eric is nice.[(triple8)] Eric is rough.[(triple7)] Eric is round.[(triple6)] Eric is young.[(triple5)] Gary is red.[(triple10)] Gary is rough.[(triple9)] @1: Dave is green.[(((triple2 triple1) -> rule1) OR ((triple2 ((triple2) -> rule5)) -> rule1))] Gary is round.[(((triple10) -> rule5))] @2: Gary is green.[(((triple10 ((triple10) -> rule5)) -> rule1))] @3: Gary is nice.[(((((triple10 ((triple10) -> rule5)) -> rule1) triple10) -> rule4))]
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple3
((((triple2 triple1) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple2 ((triple2) -> (rule5 % int3))) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple1
((triple2) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple6
Eric is young.
("Eric" "is" "young" "+")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Dave is green.
("Dave" "is" "green" "+")
((triple2 triple1) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((triple2 ((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((triple10) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple10 ((triple10) -> (rule5 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((((triple10 ((triple10) -> (rule5 % int3))) -> (rule1 % int2)) triple10) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Dave, who is a very nice man, is also quite round in shape; He found himself quite blue from being made fun of him, but that also made his face red with anger.
Young Eric is a round fellow: sometimes nice, sometimes rough.
When you meet Gary you'll the two characteristics that will standout is that he's red but also rough.
People who are red and round are usually assumed to be green.
Someone with round, red, and kind traits also will be green.
A person that is known to be big and rough is also green, they will feel blue about it.
People who are red and green are also nice.
A person that is the color red will definitely be round shaped.