Anne is big. Anne is round. Bob is red. Dave is cold. Dave is red. Dave is young. Harry is big. Harry is red. Harry is round. Harry is white. White, round people are cold. Big, young people are white. White, cold people are nice. If Anne is nice and Anne is round then Anne is red. Red people are young. If someone is young and nice then they are round. All young people are round. If someone is big then they are young. If Dave is cold then Dave is young.
Anne is big.
("Anne" "is" "big" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is red.
("Bob" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is young.
("Dave" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
White, round people are cold.
((("someone" "is" "white" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Big, young people are white.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
White, cold people are nice.
((("someone" "is" "white" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If Anne is nice and Anne is round then Anne is red.
((("Anne" "is" "nice" "+") ("Anne" "is" "round" "+")) -> ("Anne" "is" "red" "+"))
Red people are young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is young and nice then they are round.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
All young people are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is big then they are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If Dave is cold then Dave is young.
((("Dave" "is" "cold" "+")) -> ("Dave" "is" "young" "+"))
Dave is cold.
True
1
proof
[(triple4)]
("Dave" "is" "cold" "+")
triple4
Dave is not cold.
False
1
inv-proof
[(triple4)]
("Dave" "is" "cold" "-")
triple4
Harry is young.
True
2
proof
[(((triple7) -> rule8) OR ((triple8) -> rule5))]
("Harry" "is" "young" "+")
((triple7) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple8) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not young.
False
2
inv-proof
[(((triple7) -> rule8) OR ((triple8) -> rule5))]
("Harry" "is" "young" "-")
((triple7) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple8) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Bob is round.
True
3
proof
[(((((triple3) -> rule5)) -> rule7))]
("Bob" "is" "round" "+")
((((triple3) -> (rule5 % int2))) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is not round.
False
3
inv-proof
[(((((triple3) -> rule5)) -> rule7))]
("Bob" "is" "round" "-")
((((triple3) -> (rule5 % int2))) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Anne is cold.
True
6
proof
[(((((triple1 ((triple1) -> rule8)) -> rule2) triple2) -> rule1) OR ((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1) -> rule8)) -> rule7)) -> rule1))]
("Anne" "is" "cold" "+")
((((triple1 ((triple1) -> (rule8 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((triple1 ((triple1) -> (rule8 % int4))) -> (rule2 % int3)) ((((triple1) -> (rule8 % int4))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is not cold.
False
6
inv-proof
[(((((triple1 ((triple1) -> rule8)) -> rule2) triple2) -> rule1) OR ((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1) -> rule8)) -> rule7)) -> rule1))]
("Anne" "is" "cold" "-")
((((triple1 ((triple1) -> (rule8 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((triple1 ((triple1) -> (rule8 % int4))) -> (rule2 % int3)) ((((triple1) -> (rule8 % int4))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is nice.
True
11
proof
[(((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1 ((triple1) -> rule8)) -> rule2) triple2) -> rule1)) -> rule3) OR ((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1) -> rule8)) -> rule7)) -> rule1)) -> rule3))]
("Anne" "is" "nice" "+")
((((triple1 ((triple1) -> (rule8 % int4))) -> (rule2 % int3)) ((((triple1 ((triple1) -> (rule8 % int4))) -> (rule2 % int3)) triple2) -> (rule1 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((triple1 ((triple1) -> (rule8 % int5))) -> (rule2 % int4)) ((((triple1 ((triple1) -> (rule8 % int5))) -> (rule2 % int4)) ((((triple1) -> (rule8 % int5))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is not nice.
False
11
inv-proof
[(((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1 ((triple1) -> rule8)) -> rule2) triple2) -> rule1)) -> rule3) OR ((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1) -> rule8)) -> rule7)) -> rule1)) -> rule3))]
("Anne" "is" "nice" "-")
((((triple1 ((triple1) -> (rule8 % int4))) -> (rule2 % int3)) ((((triple1 ((triple1) -> (rule8 % int4))) -> (rule2 % int3)) triple2) -> (rule1 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((triple1 ((triple1) -> (rule8 % int5))) -> (rule2 % int4)) ((((triple1 ((triple1) -> (rule8 % int5))) -> (rule2 % int4)) ((((triple1) -> (rule8 % int5))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is red.
True
13
proof
[(((((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1 ((triple1) -> rule8)) -> rule2) triple2) -> rule1)) -> rule3) triple2) -> rule4) OR ((((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1 ((triple1) -> rule8)) -> rule2) triple2) -> rule1)) -> rule3) ((((triple1) -> rule8)) -> rule7)) -> rule4) OR ((((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1) -> rule8)) -> rule7)) -> rule1)) -> rule3) triple2) -> rule4) OR ((((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1) -> rule8)) -> rule7)) -> rule1)) -> rule3) ((((triple1) -> rule8)) -> rule7)) -> rule4))]
("Anne" "is" "red" "+")
((((((triple1 ((triple1) -> (rule8 % int5))) -> (rule2 % int4)) ((((triple1 ((triple1) -> (rule8 % int5))) -> (rule2 % int4)) triple2) -> (rule1 % int3))) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((triple1 ((triple1) -> (rule8 % int6))) -> (rule2 % int5)) ((((triple1 ((triple1) -> (rule8 % int6))) -> (rule2 % int5)) triple2) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple1) -> (rule8 % int6))) -> (rule7 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((triple1 ((triple1) -> (rule8 % int6))) -> (rule2 % int5)) ((((triple1 ((triple1) -> (rule8 % int6))) -> (rule2 % int5)) ((((triple1) -> (rule8 % int6))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((triple1 ((triple1) -> (rule8 % int6))) -> (rule2 % int5)) ((((triple1 ((triple1) -> (rule8 % int6))) -> (rule2 % int5)) ((((triple1) -> (rule8 % int6))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple1) -> (rule8 % int6))) -> (rule7 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
Anne is not red.
False
13
inv-proof
[(((((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1 ((triple1) -> rule8)) -> rule2) triple2) -> rule1)) -> rule3) triple2) -> rule4) OR ((((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1 ((triple1) -> rule8)) -> rule2) triple2) -> rule1)) -> rule3) ((((triple1) -> rule8)) -> rule7)) -> rule4) OR ((((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1) -> rule8)) -> rule7)) -> rule1)) -> rule3) triple2) -> rule4) OR ((((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1) -> rule8)) -> rule7)) -> rule1)) -> rule3) ((((triple1) -> rule8)) -> rule7)) -> rule4))]
("Anne" "is" "red" "-")
((((((triple1 ((triple1) -> (rule8 % int5))) -> (rule2 % int4)) ((((triple1 ((triple1) -> (rule8 % int5))) -> (rule2 % int4)) triple2) -> (rule1 % int3))) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((triple1 ((triple1) -> (rule8 % int6))) -> (rule2 % int5)) ((((triple1 ((triple1) -> (rule8 % int6))) -> (rule2 % int5)) triple2) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple1) -> (rule8 % int6))) -> (rule7 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((triple1 ((triple1) -> (rule8 % int6))) -> (rule2 % int5)) ((((triple1 ((triple1) -> (rule8 % int6))) -> (rule2 % int5)) ((((triple1) -> (rule8 % int6))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((triple1 ((triple1) -> (rule8 % int6))) -> (rule2 % int5)) ((((triple1 ((triple1) -> (rule8 % int6))) -> (rule2 % int5)) ((((triple1) -> (rule8 % int6))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple1) -> (rule8 % int6))) -> (rule7 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
Dave is not nice.
Unknown
inv-rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Dave" "is" "nice" "-")
Dave is white.
Unknown
rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "white" "+")
Bob is not nice.
Unknown
inv-rconc
[@2: Bob is nice.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is white.
Unknown
rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "white" "+")
Bob is not cold.
Unknown
inv-rconc
[@2: Bob is cold.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Bob" "is" "cold" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Anne is big.[(triple1)] Anne is round.[(triple2 OR ((((triple1) -> rule8)) -> rule7))] Bob is red.[(triple3)] Dave is cold.[(triple4)] Dave is red.[(triple5)] Dave is young.[(triple6 OR ((triple4) -> rule9) OR ((triple5) -> rule5))] Harry is big.[(triple7)] Harry is red.[(triple8)] Harry is round.[(triple9 OR ((((triple7) -> rule8)) -> rule7) OR ((((triple8) -> rule5)) -> rule7))] Harry is white.[(triple10 OR ((triple7 ((triple7) -> rule8)) -> rule2) OR ((triple7 ((triple8) -> rule5)) -> rule2))] @1: Anne is young.[(((triple1) -> rule8))] Bob is young.[(((triple3) -> rule5))] Dave is round.[(((triple6) -> rule7) OR ((((triple4) -> rule9)) -> rule7) OR ((((triple5) -> rule5)) -> rule7))] Harry is cold.[(((triple10 triple9) -> rule1) OR ((triple10 ((((triple7) -> rule8)) -> rule7)) -> rule1) OR ((triple10 ((((triple8) -> rule5)) -> rule7)) -> rule1) OR ((((triple7 ((triple7) -> rule8)) -> rule2) triple9) -> rule1) OR ((((triple7 ((triple8) -> rule5)) -> rule2) triple9) -> rule1) OR ((((triple7 ((triple7) -> rule8)) -> rule2) ((((triple7) -> rule8)) -> rule7)) -> rule1) OR ((((triple7 ((triple7) -> rule8)) -> rule2) ((((triple8) -> rule5)) -> rule7)) -> rule1) OR ((((triple7 ((triple8) -> rule5)) -> rule2) ((((triple7) -> rule8)) -> rule7)) -> rule1) OR ((((triple7 ((triple8) -> rule5)) -> rule2) ((((triple8) -> rule5)) -> rule7)) -> rule1))] Harry is young.[(((triple7) -> rule8) OR ((triple8) -> rule5))] @2: Anne is white.[(((triple1 ((triple1) -> rule8)) -> rule2))] Bob is round.[(((((triple3) -> rule5)) -> rule7))] Harry is nice.[(((triple10 ((triple10 triple9) -> rule1)) -> rule3) OR ((((triple7 ((triple7) -> rule8)) -> rule2) ((triple10 triple9) -> rule1)) -> rule3) OR ((((triple7 ((triple8) -> rule5)) -> rule2) ((triple10 triple9) -> rule1)) -> rule3) OR ((triple10 ((triple10 ((((triple7) -> rule8)) -> rule7)) -> rule1)) -> rule3) OR ((triple10 ((triple10 ((((triple8) -> rule5)) -> rule7)) -> rule1)) -> rule3) OR ((triple10 ((((triple7 ((triple7) -> rule8)) -> rule2) triple9) -> rule1)) -> rule3) OR ((triple10 ((((triple7 ((triple8) -> rule5)) -> rule2) triple9) -> rule1)) -> rule3) OR ((triple10 ((((triple7 ((triple7) -> rule8)) -> rule2) ((((triple7) -> rule8)) -> rule7)) -> rule1)) -> rule3) OR ((triple10 ((((triple7 ((triple7) -> rule8)) -> rule2) ((((triple8) -> rule5)) -> rule7)) -> rule1)) -> rule3) OR ((triple10 ((((triple7 ((triple8) -> rule5)) -> rule2) ((((triple7) -> rule8)) -> rule7)) -> rule1)) -> rule3) OR ((triple10 ((((triple7 ((triple8) -> rule5)) -> rule2) ((((triple8) -> rule5)) -> rule7)) -> rule1)) -> rule3) OR ((((triple7 ((triple7) -> rule8)) -> rule2) ((triple10 ((((triple7) -> rule8)) -> rule7)) -> rule1)) -> rule3) OR ((((triple7 ((triple7) -> rule8)) -> rule2) ((triple10 ((((triple8) -> rule5)) -> rule7)) -> rule1)) -> rule3) OR ((((triple7 ((triple7) -> rule8)) -> rule2) ((((triple7 ((triple7) -> rule8)) -> rule2) triple9) -> rule1)) -> rule3) OR ((((triple7 ((triple7) -> rule8)) -> rule2) ((((triple7 ((triple8) -> rule5)) -> rule2) triple9) -> rule1)) -> rule3) OR ((((triple7 ((triple8) -> rule5)) -> rule2) ((triple10 ((((triple7) -> rule8)) -> rule7)) -> rule1)) -> rule3) OR ((((triple7 ((triple8) -> rule5)) -> rule2) ((triple10 ((((triple8) -> rule5)) -> rule7)) -> rule1)) -> rule3) OR ((((triple7 ((triple8) -> rule5)) -> rule2) ((((triple7 ((triple7) -> rule8)) -> rule2) triple9) -> rule1)) -> rule3) OR ((((triple7 ((triple8) -> rule5)) -> rule2) ((((triple7 ((triple8) -> rule5)) -> rule2) triple9) -> rule1)) -> rule3) OR ((((triple7 ((triple7) -> rule8)) -> rule2) ((((triple7 ((triple7) -> rule8)) -> rule2) ((((triple7) -> rule8)) -> rule7)) -> rule1)) -> rule3) OR ((((triple7 ((triple7) -> rule8)) -> rule2) ((((triple7 ((triple7) -> rule8)) -> rule2) ((((triple8) -> rule5)) -> rule7)) -> rule1)) -> rule3) OR ((((triple7 ((triple7) -> rule8)) -> rule2) ((((triple7 ((triple8) -> rule5)) -> rule2) ((((triple7) -> rule8)) -> rule7)) -> rule1)) -> rule3) OR ((((triple7 ((triple7) -> rule8)) -> rule2) ((((triple7 ((triple8) -> rule5)) -> rule2) ((((triple8) -> rule5)) -> rule7)) -> rule1)) -> rule3) OR ((((triple7 ((triple8) -> rule5)) -> rule2) ((((triple7 ((triple7) -> rule8)) -> rule2) ((((triple7) -> rule8)) -> rule7)) -> rule1)) -> rule3) OR ((((triple7 ((triple8) -> rule5)) -> rule2) ((((triple7 ((triple7) -> rule8)) -> rule2) ((((triple8) -> rule5)) -> rule7)) -> rule1)) -> rule3) OR ((((triple7 ((triple8) -> rule5)) -> rule2) ((((triple7 ((triple8) -> rule5)) -> rule2) ((((triple7) -> rule8)) -> rule7)) -> rule1)) -> rule3) OR ((((triple7 ((triple8) -> rule5)) -> rule2) ((((triple7 ((triple8) -> rule5)) -> rule2) ((((triple8) -> rule5)) -> rule7)) -> rule1)) -> rule3))] @3: Anne is cold.[(((((triple1 ((triple1) -> rule8)) -> rule2) triple2) -> rule1) OR ((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1) -> rule8)) -> rule7)) -> rule1))] @4: Anne is nice.[(((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1 ((triple1) -> rule8)) -> rule2) triple2) -> rule1)) -> rule3) OR ((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1) -> rule8)) -> rule7)) -> rule1)) -> rule3))] @5: Anne is red.[(((((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1 ((triple1) -> rule8)) -> rule2) triple2) -> rule1)) -> rule3) triple2) -> rule4) OR ((((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1 ((triple1) -> rule8)) -> rule2) triple2) -> rule1)) -> rule3) ((((triple1) -> rule8)) -> rule7)) -> rule4) OR ((((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1) -> rule8)) -> rule7)) -> rule1)) -> rule3) triple2) -> rule4) OR ((((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1 ((triple1) -> rule8)) -> rule2) ((((triple1) -> rule8)) -> rule7)) -> rule1)) -> rule3) ((((triple1) -> rule8)) -> rule7)) -> rule4))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
((((triple1) -> (rule8 % int2))) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
triple3
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple6
((triple4) -> (rule9 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((triple5) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
triple7
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple9
((((triple7) -> (rule8 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple8) -> (rule5 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
triple10
((triple7 ((triple7) -> (rule8 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((triple7 ((triple8) -> (rule5 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
((triple1) -> (rule8 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple3) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple6) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((((triple4) -> (rule9 % int2))) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple5) -> (rule5 % int2))) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((triple10 triple9) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple10 ((((triple7) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((triple10 ((((triple8) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((triple7 ((triple7) -> (rule8 % int3))) -> (rule2 % int2)) triple9) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((triple7 ((triple8) -> (rule5 % int3))) -> (rule2 % int2)) triple9) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((triple7 ((triple7) -> (rule8 % int4))) -> (rule2 % int3)) ((((triple7) -> (rule8 % int4))) -> (rule7 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple7 ((triple7) -> (rule8 % int4))) -> (rule2 % int3)) ((((triple8) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple7 ((triple8) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple7) -> (rule8 % int4))) -> (rule7 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple7 ((triple8) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple8) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
((triple7) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple8) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((triple1 ((triple1) -> (rule8 % int2))) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((((triple3) -> (rule5 % int2))) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((triple10 ((triple10 triple9) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple7 ((triple7) -> (rule8 % int4))) -> (rule2 % int3)) ((triple10 triple9) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple7 ((triple8) -> (rule5 % int4))) -> (rule2 % int3)) ((triple10 triple9) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((triple10 ((triple10 ((((triple7) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((triple10 ((triple10 ((((triple8) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((triple10 ((((triple7 ((triple7) -> (rule8 % int4))) -> (rule2 % int3)) triple9) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((triple10 ((((triple7 ((triple8) -> (rule5 % int4))) -> (rule2 % int3)) triple9) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((triple10 ((((triple7 ((triple7) -> (rule8 % int5))) -> (rule2 % int4)) ((((triple7) -> (rule8 % int5))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((triple10 ((((triple7 ((triple7) -> (rule8 % int5))) -> (rule2 % int4)) ((((triple8) -> (rule5 % int5))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((triple10 ((((triple7 ((triple8) -> (rule5 % int5))) -> (rule2 % int4)) ((((triple7) -> (rule8 % int5))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((triple10 ((((triple7 ((triple8) -> (rule5 % int5))) -> (rule2 % int4)) ((((triple8) -> (rule5 % int5))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((triple7 ((triple7) -> (rule8 % int5))) -> (rule2 % int4)) ((triple10 ((((triple7) -> (rule8 % int5))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((triple7 ((triple7) -> (rule8 % int5))) -> (rule2 % int4)) ((triple10 ((((triple8) -> (rule5 % int5))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((triple7 ((triple7) -> (rule8 % int4))) -> (rule2 % int3)) ((((triple7 ((triple7) -> (rule8 % int4))) -> (rule2 % int3)) triple9) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple7 ((triple7) -> (rule8 % int4))) -> (rule2 % int3)) ((((triple7 ((triple8) -> (rule5 % int4))) -> (rule2 % int3)) triple9) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple7 ((triple8) -> (rule5 % int5))) -> (rule2 % int4)) ((triple10 ((((triple7) -> (rule8 % int5))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((triple7 ((triple8) -> (rule5 % int5))) -> (rule2 % int4)) ((triple10 ((((triple8) -> (rule5 % int5))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((triple7 ((triple8) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple7 ((triple7) -> (rule8 % int4))) -> (rule2 % int3)) triple9) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple7 ((triple8) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple7 ((triple8) -> (rule5 % int4))) -> (rule2 % int3)) triple9) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple7 ((triple7) -> (rule8 % int5))) -> (rule2 % int4)) ((((triple7 ((triple7) -> (rule8 % int5))) -> (rule2 % int4)) ((((triple7) -> (rule8 % int5))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((triple7 ((triple7) -> (rule8 % int5))) -> (rule2 % int4)) ((((triple7 ((triple7) -> (rule8 % int5))) -> (rule2 % int4)) ((((triple8) -> (rule5 % int5))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((triple7 ((triple7) -> (rule8 % int5))) -> (rule2 % int4)) ((((triple7 ((triple8) -> (rule5 % int5))) -> (rule2 % int4)) ((((triple7) -> (rule8 % int5))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((triple7 ((triple7) -> (rule8 % int5))) -> (rule2 % int4)) ((((triple7 ((triple8) -> (rule5 % int5))) -> (rule2 % int4)) ((((triple8) -> (rule5 % int5))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((triple7 ((triple8) -> (rule5 % int5))) -> (rule2 % int4)) ((((triple7 ((triple7) -> (rule8 % int5))) -> (rule2 % int4)) ((((triple7) -> (rule8 % int5))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((triple7 ((triple8) -> (rule5 % int5))) -> (rule2 % int4)) ((((triple7 ((triple7) -> (rule8 % int5))) -> (rule2 % int4)) ((((triple8) -> (rule5 % int5))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((triple7 ((triple8) -> (rule5 % int5))) -> (rule2 % int4)) ((((triple7 ((triple8) -> (rule5 % int5))) -> (rule2 % int4)) ((((triple7) -> (rule8 % int5))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((triple7 ((triple8) -> (rule5 % int5))) -> (rule2 % int4)) ((((triple7 ((triple8) -> (rule5 % int5))) -> (rule2 % int4)) ((((triple8) -> (rule5 % int5))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
Anne is cold.
("Anne" "is" "cold" "+")
((((triple1 ((triple1) -> (rule8 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((triple1 ((triple1) -> (rule8 % int4))) -> (rule2 % int3)) ((((triple1) -> (rule8 % int4))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
((((triple1 ((triple1) -> (rule8 % int4))) -> (rule2 % int3)) ((((triple1 ((triple1) -> (rule8 % int4))) -> (rule2 % int3)) triple2) -> (rule1 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((triple1 ((triple1) -> (rule8 % int5))) -> (rule2 % int4)) ((((triple1 ((triple1) -> (rule8 % int5))) -> (rule2 % int4)) ((((triple1) -> (rule8 % int5))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is red.
("Anne" "is" "red" "+")
((((((triple1 ((triple1) -> (rule8 % int5))) -> (rule2 % int4)) ((((triple1 ((triple1) -> (rule8 % int5))) -> (rule2 % int4)) triple2) -> (rule1 % int3))) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((triple1 ((triple1) -> (rule8 % int6))) -> (rule2 % int5)) ((((triple1 ((triple1) -> (rule8 % int6))) -> (rule2 % int5)) triple2) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple1) -> (rule8 % int6))) -> (rule7 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((triple1 ((triple1) -> (rule8 % int6))) -> (rule2 % int5)) ((((triple1 ((triple1) -> (rule8 % int6))) -> (rule2 % int5)) ((((triple1) -> (rule8 % int6))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((triple1 ((triple1) -> (rule8 % int6))) -> (rule2 % int5)) ((((triple1 ((triple1) -> (rule8 % int6))) -> (rule2 % int5)) ((((triple1) -> (rule8 % int6))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple1) -> (rule8 % int6))) -> (rule7 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6