When he was found Alan was an icy cold blue. Being green and not used to country life Alan didn't know that being kind and round would get him trapped in a snowstorm. Alan is red with embarrassment. In the snow sits Charlie, crying from being cold. Rough and kind people are big. Anyone perceived to be rough, cold and kind will also be nice. A big, nice, blue person is likely to be young. Rough young folks are surprisingly kind. A person that is round, green, and blue is usually considered cold. You will find most green,cold and blue people to be rough.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
If someone is rough and kind then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and cold and kind then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
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 rough then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and green and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and cold and blue then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Alan is green.
True
1
proof
[(triple4)]
("Alan" "is" "green" "+")
triple4
Alan is not blue.
False
1
inv-proof
[(triple6)]
("Alan" "is" "blue" "-")
triple6
Alan is rough.
True
4
proof
[(((triple4 triple5 triple6) -> rule6) OR ((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6))]
("Alan" "is" "rough" "+")
((triple4 triple5 triple6) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
((triple4 ((triple1 triple4 triple6) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is not rough.
False
4
inv-proof
[(((triple4 triple5 triple6) -> rule6) OR ((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6))]
("Alan" "is" "rough" "-")
((triple4 triple5 triple6) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
((triple4 ((triple1 triple4 triple6) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is nice.
True
7
proof
[(((((triple4 triple5 triple6) -> rule6) triple5 triple3) -> rule2) OR ((((triple4 triple5 triple6) -> rule6) ((triple1 triple4 triple6) -> rule5) triple3) -> rule2) OR ((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple5 triple3) -> rule2) OR ((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) ((triple1 triple4 triple6) -> rule5) triple3) -> rule2))]
("Alan" "is" "nice" "+")
((((triple4 triple5 triple6) -> (rule6 % int2)) triple5 triple3) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
((((triple4 triple5 triple6) -> (rule6 % int3)) ((triple1 triple4 triple6) -> (rule5 % int2)) triple3) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
((((triple4 ((triple1 triple4 triple6) -> (rule5 % int3)) triple6) -> (rule6 % int2)) triple5 triple3) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
((((triple4 ((triple1 triple4 triple6) -> (rule5 % int3)) triple6) -> (rule6 % int2)) ((triple1 triple4 triple6) -> (rule5 % int3)) triple3) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is not big.
False
6
inv-proof
[(((((triple4 triple5 triple6) -> rule6) triple3) -> rule1) OR ((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple3) -> rule1))]
("Alan" "is" "big" "-")
((((triple4 triple5 triple6) -> (rule6 % int2)) triple3) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
((((triple4 ((triple1 triple4 triple6) -> (rule5 % int3)) triple6) -> (rule6 % int2)) triple3) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is young.
True
15
proof
[(((((((triple4 triple5 triple6) -> rule6) triple3) -> rule1) ((((triple4 triple5 triple6) -> rule6) triple5 triple3) -> rule2) triple6) -> rule3) OR ((((((triple4 triple5 triple6) -> rule6) triple3) -> rule1) ((((triple4 triple5 triple6) -> rule6) ((triple1 triple4 triple6) -> rule5) triple3) -> rule2) triple6) -> rule3) OR ((((((triple4 triple5 triple6) -> rule6) triple3) -> rule1) ((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple5 triple3) -> rule2) triple6) -> rule3) OR ((((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple3) -> rule1) ((((triple4 triple5 triple6) -> rule6) triple5 triple3) -> rule2) triple6) -> rule3) OR ((((((triple4 triple5 triple6) -> rule6) triple3) -> rule1) ((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) ((triple1 triple4 triple6) -> rule5) triple3) -> rule2) triple6) -> rule3) OR ((((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple3) -> rule1) ((((triple4 triple5 triple6) -> rule6) ((triple1 triple4 triple6) -> rule5) triple3) -> rule2) triple6) -> rule3) OR ((((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple3) -> rule1) ((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple5 triple3) -> rule2) triple6) -> rule3) OR ((((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple3) -> rule1) ((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) ((triple1 triple4 triple6) -> rule5) triple3) -> rule2) triple6) -> rule3))]
("Alan" "is" "young" "+")
((((((triple4 triple5 triple6) -> (rule6 % int4)) triple3) -> (rule1 % int3)) ((((triple4 triple5 triple6) -> (rule6 % int4)) triple5 triple3) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
((((((triple4 triple5 triple6) -> (rule6 % int5)) triple3) -> (rule1 % int4)) ((((triple4 triple5 triple6) -> (rule6 % int5)) ((triple1 triple4 triple6) -> (rule5 % int3)) triple3) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Alan is rough.
("Alan" "is" "rough" "+")
int5
((((((triple4 triple5 triple6) -> (rule6 % int5)) triple3) -> (rule1 % int4)) ((((triple4 ((triple1 triple4 triple6) -> (rule5 % int3)) triple6) -> (rule6 % int5)) triple5 triple3) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Alan is rough.
("Alan" "is" "rough" "+")
int5
((((((triple4 ((triple1 triple4 triple6) -> (rule5 % int5)) triple6) -> (rule6 % int4)) triple3) -> (rule1 % int3)) ((((triple4 triple5 triple6) -> (rule6 % int4)) triple5 triple3) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Alan is cold.
("Alan" "is" "cold" "+")
int5
((((((triple4 triple5 triple6) -> (rule6 % int5)) triple3) -> (rule1 % int4)) ((((triple4 ((triple1 triple4 triple6) -> (rule5 % int3)) triple6) -> (rule6 % int5)) ((triple1 triple4 triple6) -> (rule5 % int3)) triple3) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Alan is rough.
("Alan" "is" "rough" "+")
int5
((((((triple4 ((triple1 triple4 triple6) -> (rule5 % int5)) triple6) -> (rule6 % int4)) triple3) -> (rule1 % int3)) ((((triple4 triple5 triple6) -> (rule6 % int4)) ((triple1 triple4 triple6) -> (rule5 % int5)) triple3) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Alan is cold.
("Alan" "is" "cold" "+")
int5
((((((triple4 ((triple1 triple4 triple6) -> (rule5 % int5)) triple6) -> (rule6 % int4)) triple3) -> (rule1 % int3)) ((((triple4 ((triple1 triple4 triple6) -> (rule5 % int5)) triple6) -> (rule6 % int4)) triple5 triple3) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Alan is cold.
("Alan" "is" "cold" "+")
int5
((((((triple4 ((triple1 triple4 triple6) -> (rule5 % int5)) triple6) -> (rule6 % int4)) triple3) -> (rule1 % int3)) ((((triple4 ((triple1 triple4 triple6) -> (rule5 % int5)) triple6) -> (rule6 % int4)) ((triple1 triple4 triple6) -> (rule5 % int5)) triple3) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Alan is cold.
("Alan" "is" "cold" "+")
int5
Alan is not young.
False
15
inv-proof
[(((((((triple4 triple5 triple6) -> rule6) triple3) -> rule1) ((((triple4 triple5 triple6) -> rule6) triple5 triple3) -> rule2) triple6) -> rule3) OR ((((((triple4 triple5 triple6) -> rule6) triple3) -> rule1) ((((triple4 triple5 triple6) -> rule6) ((triple1 triple4 triple6) -> rule5) triple3) -> rule2) triple6) -> rule3) OR ((((((triple4 triple5 triple6) -> rule6) triple3) -> rule1) ((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple5 triple3) -> rule2) triple6) -> rule3) OR ((((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple3) -> rule1) ((((triple4 triple5 triple6) -> rule6) triple5 triple3) -> rule2) triple6) -> rule3) OR ((((((triple4 triple5 triple6) -> rule6) triple3) -> rule1) ((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) ((triple1 triple4 triple6) -> rule5) triple3) -> rule2) triple6) -> rule3) OR ((((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple3) -> rule1) ((((triple4 triple5 triple6) -> rule6) ((triple1 triple4 triple6) -> rule5) triple3) -> rule2) triple6) -> rule3) OR ((((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple3) -> rule1) ((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple5 triple3) -> rule2) triple6) -> rule3) OR ((((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple3) -> rule1) ((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) ((triple1 triple4 triple6) -> rule5) triple3) -> rule2) triple6) -> rule3))]
("Alan" "is" "young" "-")
((((((triple4 triple5 triple6) -> (rule6 % int4)) triple3) -> (rule1 % int3)) ((((triple4 triple5 triple6) -> (rule6 % int4)) triple5 triple3) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
((((((triple4 triple5 triple6) -> (rule6 % int5)) triple3) -> (rule1 % int4)) ((((triple4 triple5 triple6) -> (rule6 % int5)) ((triple1 triple4 triple6) -> (rule5 % int3)) triple3) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Alan is rough.
("Alan" "is" "rough" "+")
int5
((((((triple4 triple5 triple6) -> (rule6 % int5)) triple3) -> (rule1 % int4)) ((((triple4 ((triple1 triple4 triple6) -> (rule5 % int3)) triple6) -> (rule6 % int5)) triple5 triple3) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Alan is rough.
("Alan" "is" "rough" "+")
int5
((((((triple4 ((triple1 triple4 triple6) -> (rule5 % int5)) triple6) -> (rule6 % int4)) triple3) -> (rule1 % int3)) ((((triple4 triple5 triple6) -> (rule6 % int4)) triple5 triple3) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Alan is cold.
("Alan" "is" "cold" "+")
int5
((((((triple4 triple5 triple6) -> (rule6 % int5)) triple3) -> (rule1 % int4)) ((((triple4 ((triple1 triple4 triple6) -> (rule5 % int3)) triple6) -> (rule6 % int5)) ((triple1 triple4 triple6) -> (rule5 % int3)) triple3) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Alan is rough.
("Alan" "is" "rough" "+")
int5
((((((triple4 ((triple1 triple4 triple6) -> (rule5 % int5)) triple6) -> (rule6 % int4)) triple3) -> (rule1 % int3)) ((((triple4 triple5 triple6) -> (rule6 % int4)) ((triple1 triple4 triple6) -> (rule5 % int5)) triple3) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Alan is cold.
("Alan" "is" "cold" "+")
int5
((((((triple4 ((triple1 triple4 triple6) -> (rule5 % int5)) triple6) -> (rule6 % int4)) triple3) -> (rule1 % int3)) ((((triple4 ((triple1 triple4 triple6) -> (rule5 % int5)) triple6) -> (rule6 % int4)) triple5 triple3) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Alan is cold.
("Alan" "is" "cold" "+")
int5
((((((triple4 ((triple1 triple4 triple6) -> (rule5 % int5)) triple6) -> (rule6 % int4)) triple3) -> (rule1 % int3)) ((((triple4 ((triple1 triple4 triple6) -> (rule5 % int5)) triple6) -> (rule6 % int4)) ((triple1 triple4 triple6) -> (rule5 % int5)) triple3) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Alan is cold.
("Alan" "is" "cold" "+")
int5
Dave is not big.
Unknown
inv-rconc
[@2: Dave is big.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Dave" "is" "big" "-")
Bob is kind.
Unknown
rconc
[@2: Bob is kind.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Bob" "is" "kind" "+")
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "rough" "-")
Charlie is kind.
Unknown
rconc
[@2: Charlie is kind.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Charlie" "is" "kind" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Alan is blue.[(triple6)] Alan is cold.[(triple5 OR ((triple1 triple4 triple6) -> rule5))] Alan is green.[(triple4)] Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Charlie is cold.[(triple7)] @1: Alan is rough.[(((triple4 triple5 triple6) -> rule6) OR ((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6))] @2: Alan is big.[(((((triple4 triple5 triple6) -> rule6) triple3) -> rule1) OR ((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple3) -> rule1))] Alan is nice.[(((((triple4 triple5 triple6) -> rule6) triple5 triple3) -> rule2) OR ((((triple4 triple5 triple6) -> rule6) ((triple1 triple4 triple6) -> rule5) triple3) -> rule2) OR ((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple5 triple3) -> rule2) OR ((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) ((triple1 triple4 triple6) -> rule5) triple3) -> rule2))] @3: Alan is young.[(((((((triple4 triple5 triple6) -> rule6) triple3) -> rule1) ((((triple4 triple5 triple6) -> rule6) triple5 triple3) -> rule2) triple6) -> rule3) OR ((((((triple4 triple5 triple6) -> rule6) triple3) -> rule1) ((((triple4 triple5 triple6) -> rule6) ((triple1 triple4 triple6) -> rule5) triple3) -> rule2) triple6) -> rule3) OR ((((((triple4 triple5 triple6) -> rule6) triple3) -> rule1) ((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple5 triple3) -> rule2) triple6) -> rule3) OR ((((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple3) -> rule1) ((((triple4 triple5 triple6) -> rule6) triple5 triple3) -> rule2) triple6) -> rule3) OR ((((((triple4 triple5 triple6) -> rule6) triple3) -> rule1) ((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) ((triple1 triple4 triple6) -> rule5) triple3) -> rule2) triple6) -> rule3) OR ((((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple3) -> rule1) ((((triple4 triple5 triple6) -> rule6) ((triple1 triple4 triple6) -> rule5) triple3) -> rule2) triple6) -> rule3) OR ((((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple3) -> rule1) ((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple5 triple3) -> rule2) triple6) -> rule3) OR ((((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple3) -> rule1) ((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) ((triple1 triple4 triple6) -> rule5) triple3) -> rule2) triple6) -> rule3))]
Alan is blue.
("Alan" "is" "blue" "+")
triple6
Alan is cold.
("Alan" "is" "cold" "+")
triple5
((triple1 triple4 triple6) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Alan is rough.
("Alan" "is" "rough" "+")
((triple4 triple5 triple6) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
((triple4 ((triple1 triple4 triple6) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
((((triple4 triple5 triple6) -> (rule6 % int2)) triple3) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
((((triple4 ((triple1 triple4 triple6) -> (rule5 % int3)) triple6) -> (rule6 % int2)) triple3) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
((((triple4 triple5 triple6) -> (rule6 % int2)) triple5 triple3) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
((((triple4 triple5 triple6) -> (rule6 % int3)) ((triple1 triple4 triple6) -> (rule5 % int2)) triple3) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
((((triple4 ((triple1 triple4 triple6) -> (rule5 % int3)) triple6) -> (rule6 % int2)) triple5 triple3) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
((((triple4 ((triple1 triple4 triple6) -> (rule5 % int3)) triple6) -> (rule6 % int2)) ((triple1 triple4 triple6) -> (rule5 % int3)) triple3) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
((((((triple4 triple5 triple6) -> (rule6 % int4)) triple3) -> (rule1 % int3)) ((((triple4 triple5 triple6) -> (rule6 % int4)) triple5 triple3) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
((((((triple4 triple5 triple6) -> (rule6 % int5)) triple3) -> (rule1 % int4)) ((((triple4 triple5 triple6) -> (rule6 % int5)) ((triple1 triple4 triple6) -> (rule5 % int3)) triple3) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Alan is rough.
("Alan" "is" "rough" "+")
int5
((((((triple4 triple5 triple6) -> (rule6 % int5)) triple3) -> (rule1 % int4)) ((((triple4 ((triple1 triple4 triple6) -> (rule5 % int3)) triple6) -> (rule6 % int5)) triple5 triple3) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Alan is rough.
("Alan" "is" "rough" "+")
int5
((((((triple4 ((triple1 triple4 triple6) -> (rule5 % int5)) triple6) -> (rule6 % int4)) triple3) -> (rule1 % int3)) ((((triple4 triple5 triple6) -> (rule6 % int4)) triple5 triple3) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Alan is cold.
("Alan" "is" "cold" "+")
int5
((((((triple4 triple5 triple6) -> (rule6 % int5)) triple3) -> (rule1 % int4)) ((((triple4 ((triple1 triple4 triple6) -> (rule5 % int3)) triple6) -> (rule6 % int5)) ((triple1 triple4 triple6) -> (rule5 % int3)) triple3) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Alan is rough.
("Alan" "is" "rough" "+")
int5
((((((triple4 ((triple1 triple4 triple6) -> (rule5 % int5)) triple6) -> (rule6 % int4)) triple3) -> (rule1 % int3)) ((((triple4 triple5 triple6) -> (rule6 % int4)) ((triple1 triple4 triple6) -> (rule5 % int5)) triple3) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Alan is cold.
("Alan" "is" "cold" "+")
int5
((((((triple4 ((triple1 triple4 triple6) -> (rule5 % int5)) triple6) -> (rule6 % int4)) triple3) -> (rule1 % int3)) ((((triple4 ((triple1 triple4 triple6) -> (rule5 % int5)) triple6) -> (rule6 % int4)) triple5 triple3) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Alan is cold.
("Alan" "is" "cold" "+")
int5
((((((triple4 ((triple1 triple4 triple6) -> (rule5 % int5)) triple6) -> (rule6 % int4)) triple3) -> (rule1 % int3)) ((((triple4 ((triple1 triple4 triple6) -> (rule5 % int5)) triple6) -> (rule6 % int4)) ((triple1 triple4 triple6) -> (rule5 % int5)) triple3) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Alan is cold.
("Alan" "is" "cold" "+")
int5
When he was found Alan was an icy cold blue; Being green and not used to country life Alan didn't know that being kind and round would get him trapped in a snowstorm; Alan is red with embarrassment.
In the snow sits Charlie, crying from being cold.
Rough and kind people are big.
Anyone perceived to be rough, cold and kind will also be nice.
A big, nice, blue person is likely to be young.
Rough young folks are surprisingly kind.
A person that is round, green, and blue is usually considered cold.
You will find most green,cold and blue people to be rough.