Alan fits the description of someone who is rough, red and blue. Charlie is big and rough looking but is very nice and kind. Eric was born only a few years ago so he is young. You should meet Gary, he is big and rough on the football field but also very young in age. Red, kind, young people will be rough people, too. People who are green and blue tend to be round in shape. Could you imagine how weird it would be if someone was nice, blue, and kind, but not green also. A person with a rough quality is also a person with a blue quality. People who are round and young are also very nice. People who are nice and rough are looked at as kind.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is young and kind and red then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and blue then they are round.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and blue and kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and young then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Gary is young.
True
1
proof
[(triple9)]
("Gary" "is" "young" "+")
triple9
Gary is not rough.
False
1
inv-proof
[(triple10)]
("Gary" "is" "rough" "-")
triple10
Gary is blue.
True
2
proof
[(((triple10) -> rule4))]
("Gary" "is" "blue" "+")
((triple10) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not blue.
False
2
inv-proof
[(((triple10) -> rule4))]
("Gary" "is" "blue" "-")
((triple10) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Charlie is green.
True
5
proof
[(((triple5 ((triple4) -> rule4) triple6) -> rule3) OR ((triple5 ((triple4) -> rule4) ((triple5 triple4) -> rule6)) -> rule3))]
("Charlie" "is" "green" "+")
((triple5 ((triple4) -> (rule4 % int2)) triple6) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((triple5 ((triple4) -> (rule4 % int3)) ((triple5 triple4) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not green.
False
5
inv-proof
[(((triple5 ((triple4) -> rule4) triple6) -> rule3) OR ((triple5 ((triple4) -> rule4) ((triple5 triple4) -> rule6)) -> rule3))]
("Charlie" "is" "green" "-")
((triple5 ((triple4) -> (rule4 % int2)) triple6) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((triple5 ((triple4) -> (rule4 % int3)) ((triple5 triple4) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
True
8
proof
[(((((triple5 ((triple4) -> rule4) triple6) -> rule3) ((triple4) -> rule4)) -> rule2) OR ((((triple5 ((triple4) -> rule4) ((triple5 triple4) -> rule6)) -> rule3) ((triple4) -> rule4)) -> rule2))]
("Charlie" "is" "round" "+")
((((triple5 ((triple4) -> (rule4 % int3)) triple6) -> (rule3 % int2)) ((triple4) -> (rule4 % int3))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple5 ((triple4) -> (rule4 % int4)) ((triple5 triple4) -> (rule6 % int3))) -> (rule3 % int2)) ((triple4) -> (rule4 % int4))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is not round.
False
8
inv-proof
[(((((triple5 ((triple4) -> rule4) triple6) -> rule3) ((triple4) -> rule4)) -> rule2) OR ((((triple5 ((triple4) -> rule4) ((triple5 triple4) -> rule6)) -> rule3) ((triple4) -> rule4)) -> rule2))]
("Charlie" "is" "round" "-")
((((triple5 ((triple4) -> (rule4 % int3)) triple6) -> (rule3 % int2)) ((triple4) -> (rule4 % int3))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple5 ((triple4) -> (rule4 % int4)) ((triple5 triple4) -> (rule6 % int3))) -> (rule3 % int2)) ((triple4) -> (rule4 % int4))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Alan is not green.
Unknown
inv-rconc
[@2: Alan is green.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Alan" "is" "green" "-")
Alan is nice.
Unknown
rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "nice" "+")
Gary is not green.
Unknown
inv-rconc
[@3: Gary is green.[CWA. Example of deepest failure = (rule3 <- rule5 <- rule2 <- FAIL)]]
("Gary" "is" "green" "-")
Eric is rough.
Unknown
rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "rough" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Alan is blue.[(triple3 OR ((triple1) -> rule4))] Alan is red.[(triple2)] Alan is rough.[(triple1)] Charlie is big.[(triple7)] Charlie is kind.[(triple6 OR ((triple5 triple4) -> rule6))] Charlie is nice.[(triple5)] Charlie is rough.[(triple4)] Eric is young.[(triple8)] Gary is big.[(triple11)] Gary is rough.[(triple10)] Gary is young.[(triple9)] @1: Charlie is blue.[(((triple4) -> rule4))] Gary is blue.[(((triple10) -> rule4))] @2: Charlie is green.[(((triple5 ((triple4) -> rule4) triple6) -> rule3) OR ((triple5 ((triple4) -> rule4) ((triple5 triple4) -> rule6)) -> rule3))] @3: Charlie is round.[(((((triple5 ((triple4) -> rule4) triple6) -> rule3) ((triple4) -> rule4)) -> rule2) OR ((((triple5 ((triple4) -> rule4) ((triple5 triple4) -> rule6)) -> rule3) ((triple4) -> rule4)) -> rule2))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
((triple1) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
((triple5 triple4) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple8
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple9
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple4) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple10) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple5 ((triple4) -> (rule4 % int2)) triple6) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((triple5 ((triple4) -> (rule4 % int3)) ((triple5 triple4) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
((((triple5 ((triple4) -> (rule4 % int3)) triple6) -> (rule3 % int2)) ((triple4) -> (rule4 % int3))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple5 ((triple4) -> (rule4 % int4)) ((triple5 triple4) -> (rule6 % int3))) -> (rule3 % int2)) ((triple4) -> (rule4 % int4))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Alan fits the description of someone who is rough, red and blue.
Charlie is big and rough looking but is very nice and kind.
Eric was born only a few years ago so he is young.
You should meet Gary, he is big and rough on the football field but also very young in age.
Red, kind, young people will be rough people, too.
People who are green and blue tend to be round in shape.
Could you imagine how weird it would be if someone was nice, blue, and kind, but not green also.
A person with a rough quality is also a person with a blue quality.
People who are round and young are also very nice.
People who are nice and rough are looked at as kind.