Alan's skin turned blue and green in a lab accident.  Despite his outward appearance, he is really nice. Charlie is kind and round. Being round makes him a bit blue. Fred can be rather rough, but surprisingly loves the green. He can be rather blue, and is unusually big. To the touch Gary has rough, cold skin. People who are blue and red and kind are described as being green. Cold, red people are generally kind and big. If someone is green skinned and has a big nose then you'll find that they often are nice to their family. When someone is nice, dressing in red, they can be blue because they are cold. A quite nice person will certainly be red. Big people who at the same time are cold hearted and nice are a conundrum but they are also kind.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is red and kind and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and red and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is green and big then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and blue and red then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and nice and big then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Charlie is blue.
True
1
proof
[(triple6)]
("Charlie" "is" "blue" "+")
triple6
Fred is not big.
False
1
inv-proof
[(triple10)]
("Fred" "is" "big" "-")
triple10
Fred is nice.
True
3
proof
[(((triple8 triple10) -> rule3))]
("Fred" "is" "nice" "+")
((triple8 triple10) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is not nice.
False
3
inv-proof
[(((triple8 triple10) -> rule3))]
("Fred" "is" "nice" "-")
((triple8 triple10) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
True
4
proof
[(((((triple8 triple10) -> rule3)) -> rule5))]
("Fred" "is" "red" "+")
((((triple8 triple10) -> (rule3 % int2))) -> (rule5 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is not red.
False
4
inv-proof
[(((((triple8 triple10) -> rule3)) -> rule5))]
("Fred" "is" "red" "-")
((((triple8 triple10) -> (rule3 % int2))) -> (rule5 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is cold.
True
9
proof
[(((((triple8 triple10) -> rule3) triple9 ((((triple8 triple10) -> rule3)) -> rule5)) -> rule4))]
("Fred" "is" "cold" "+")
((((triple8 triple10) -> (rule3 % int3)) triple9 ((((triple8 triple10) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is not cold.
False
9
inv-proof
[(((((triple8 triple10) -> rule3) triple9 ((((triple8 triple10) -> rule3)) -> rule5)) -> rule4))]
("Fred" "is" "cold" "-")
((((triple8 triple10) -> (rule3 % int3)) triple9 ((((triple8 triple10) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is kind.
True
14
proof
[(((((((triple8 triple10) -> rule3) triple9 ((((triple8 triple10) -> rule3)) -> rule5)) -> rule4) ((triple8 triple10) -> rule3) triple10) -> rule6))]
("Fred" "is" "kind" "+")
((((((triple8 triple10) -> (rule3 % int4)) triple9 ((((triple8 triple10) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((triple8 triple10) -> (rule3 % int4)) triple10) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Fred is not kind.
False
14
inv-proof
[(((((((triple8 triple10) -> rule3) triple9 ((((triple8 triple10) -> rule3)) -> rule5)) -> rule4) ((triple8 triple10) -> rule3) triple10) -> rule6))]
("Fred" "is" "kind" "-")
((((((triple8 triple10) -> (rule3 % int4)) triple9 ((((triple8 triple10) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((triple8 triple10) -> (rule3 % int4)) triple10) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "green" "-")
Gary is red.
Unknown
rconc
[@3: Gary is red.[CWA. Example of deepest failure = (rule5 <- rule3 <- rule1 <- FAIL)]]
("Gary" "is" "red" "+")
Charlie is not nice.
Unknown
inv-rconc
[@3: Charlie is nice.[CWA. Example of deepest failure = (rule3 <- rule1 <- rule5 <- FAIL)]]
("Charlie" "is" "nice" "-")
Gary is nice.
Unknown
rconc
[@2: Gary is nice.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Gary" "is" "nice" "+")
Alan is not big.
Unknown
inv-rconc
[@2: Alan is big.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Alan" "is" "big" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
@0: Alan is blue.[(triple3)] Alan is green.[(triple2)] Alan is nice.[(triple1)] Charlie is blue.[(triple6)] Charlie is kind.[(triple5)] Charlie is round.[(triple4)] Fred is big.[(triple10)] Fred is blue.[(triple9)] Fred is green.[(triple8)] Fred is rough.[(triple7)] Gary is cold.[(triple12)] Gary is rough.[(triple11)] @1: Alan is red.[(((triple1) -> rule5))] Fred is nice.[(((triple8 triple10) -> rule3))] @2: Alan is cold.[(((triple1 triple3 ((triple1) -> rule5)) -> rule4))] Fred is red.[(((((triple8 triple10) -> rule3)) -> rule5))] @3: Fred is cold.[(((((triple8 triple10) -> rule3) triple9 ((((triple8 triple10) -> rule3)) -> rule5)) -> rule4))] @4: Fred is kind.[(((((((triple8 triple10) -> rule3) triple9 ((((triple8 triple10) -> rule3)) -> rule5)) -> rule4) ((triple8 triple10) -> rule3) triple10) -> rule6))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Fred is big.
("Fred" "is" "big" "+")
triple10
Fred is blue.
("Fred" "is" "blue" "+")
triple9
Fred is green.
("Fred" "is" "green" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is rough.
("Gary" "is" "rough" "+")
triple11
Alan is red.
("Alan" "is" "red" "+")
((triple1) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple8 triple10) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
((triple1 triple3 ((triple1) -> (rule5 % int2))) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
((((triple8 triple10) -> (rule3 % int2))) -> (rule5 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
((((triple8 triple10) -> (rule3 % int3)) triple9 ((((triple8 triple10) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
((((((triple8 triple10) -> (rule3 % int4)) triple9 ((((triple8 triple10) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((triple8 triple10) -> (rule3 % int4)) triple10) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Alan's skin turned blue and green in a lab accident; Despite his outward appearance, he is really nice.
Charlie is kind and round; Being round makes him a bit blue.
Fred can be rather rough, but surprisingly loves the green; He can be rather blue, and is unusually big.
To the touch Gary has rough, cold skin.
People who are blue and red and kind are described as being green.
Cold, red people are generally kind and big.
If someone is green skinned and has a big nose then you'll find that they often are nice to their family.
When someone is nice, dressing in red, they can be blue because they are cold.
A quite nice person will certainly be red.
Big people who at the same time are cold hearted and nice are a conundrum but they are also kind.