Anne is cold. Dave is not blue. Dave is cold. Dave is kind. Dave is round. Dave is white. Fiona is blue. Fiona is nice. Fiona is red. Fiona is white. Harry is not blue. If Fiona is cold then Fiona is blue. If something is round and cold then it is red. Cold things are round. All round, nice things are white. If something is red and kind then it is nice. Red things are kind. If something is blue and not red then it is not kind.
Anne is cold.
("Anne" "is" "cold" "+")
Dave is not blue.
("Dave" "is" "blue" "-")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is not blue.
("Harry" "is" "blue" "-")
If Fiona is cold then Fiona is blue.
((("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "blue" "+"))
If something is round and cold then it is red.
((("something" "is" "round" "+") ("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
Cold things are round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
All round, nice things are white.
((("something" "is" "round" "+") ("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
If something is red and kind then it is nice.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
Red things are kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
If something is blue and not red then it is not kind.
((("something" "is" "blue" "+") ("something" "is" "red" "~")) -> ("something" "is" "kind" "-"))
Dave is kind.
True
1
proof
[(triple4 OR ((((triple5 triple3) -> rule2)) -> rule6) OR ((((((triple3) -> rule3) triple3) -> rule2)) -> rule6))]
("Dave" "is" "kind" "+")
triple4
((((triple5 triple3) -> (rule2 % int2))) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((((triple3) -> (rule3 % int3)) triple3) -> (rule2 % int2))) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Fiona is not blue.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "blue" "-")
triple7
Dave is red.
True
3
proof
[(((triple5 triple3) -> rule2) OR ((((triple3) -> rule3) triple3) -> rule2))]
("Dave" "is" "red" "+")
((triple5 triple3) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((triple3) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not red.
False
3
inv-proof
[(((triple5 triple3) -> rule2) OR ((((triple3) -> rule3) triple3) -> rule2))]
("Dave" "is" "red" "-")
((triple5 triple3) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((triple3) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
True
5
proof
[(((((triple5 triple3) -> rule2) triple4) -> rule5) OR ((((((triple3) -> rule3) triple3) -> rule2) triple4) -> rule5) OR ((((triple5 triple3) -> rule2) ((((triple5 triple3) -> rule2)) -> rule6)) -> rule5) OR ((((((triple3) -> rule3) triple3) -> rule2) ((((triple5 triple3) -> rule2)) -> rule6)) -> rule5) OR ((((triple5 triple3) -> rule2) ((((((triple3) -> rule3) triple3) -> rule2)) -> rule6)) -> rule5) OR ((((((triple3) -> rule3) triple3) -> rule2) ((((((triple3) -> rule3) triple3) -> rule2)) -> rule6)) -> rule5))]
("Dave" "is" "nice" "+")
((((triple5 triple3) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((((triple3) -> (rule3 % int3)) triple3) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((triple5 triple3) -> (rule2 % int3)) ((((triple5 triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3)) ((((triple5 triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((triple5 triple3) -> (rule2 % int4)) ((((((triple3) -> (rule3 % int3)) triple3) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3)) ((((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Anne is not red.
False
4
inv-proof
[(((((triple1) -> rule3) triple1) -> rule2))]
("Anne" "is" "red" "-")
((((triple1) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is kind.
True
5
proof
[(((((((triple1) -> rule3) triple1) -> rule2)) -> rule6))]
("Anne" "is" "kind" "+")
((((((triple1) -> (rule3 % int3)) triple1) -> (rule2 % int2))) -> (rule6 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is not kind.
False
5
inv-proof
[(((((((triple1) -> rule3) triple1) -> rule2)) -> rule6))]
("Anne" "is" "kind" "-")
((((((triple1) -> (rule3 % int3)) triple1) -> (rule2 % int2))) -> (rule6 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is nice.
True
10
proof
[(((((((triple1) -> rule3) triple1) -> rule2) ((((((triple1) -> rule3) triple1) -> rule2)) -> rule6)) -> rule5))]
("Anne" "is" "nice" "+")
((((((triple1) -> (rule3 % int4)) triple1) -> (rule2 % int3)) ((((((triple1) -> (rule3 % int4)) triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is not nice.
False
10
inv-proof
[(((((((triple1) -> rule3) triple1) -> rule2) ((((((triple1) -> rule3) triple1) -> rule2)) -> rule6)) -> rule5))]
("Anne" "is" "nice" "-")
((((((triple1) -> (rule3 % int4)) triple1) -> (rule2 % int3)) ((((((triple1) -> (rule3 % int4)) triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is white.
True
13
proof
[(((((triple1) -> rule3) ((((((triple1) -> rule3) triple1) -> rule2) ((((((triple1) -> rule3) triple1) -> rule2)) -> rule6)) -> rule5)) -> rule4))]
("Anne" "is" "white" "+")
((((triple1) -> (rule3 % int5)) ((((((triple1) -> (rule3 % int5)) triple1) -> (rule2 % int4)) ((((((triple1) -> (rule3 % int5)) triple1) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is not white.
False
13
inv-proof
[(((((triple1) -> rule3) ((((((triple1) -> rule3) triple1) -> rule2) ((((((triple1) -> rule3) triple1) -> rule2)) -> rule6)) -> rule5)) -> rule4))]
("Anne" "is" "white" "-")
((((triple1) -> (rule3 % int5)) ((((((triple1) -> (rule3 % int5)) triple1) -> (rule2 % int4)) ((((((triple1) -> (rule3 % int5)) triple1) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "round" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "red" "+")
Harry is not kind.
Unknown
inv-rconc
[@2: Harry is kind.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Harry" "is" "kind" "-")
Harry is white.
Unknown
rconc
[@2: Harry is white.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Harry" "is" "white" "+")
Harry is not nice.
Unknown
inv-rconc
[@2: Harry is nice.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Harry" "is" "nice" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "round" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Anne is cold.[(triple1)] Dave is cold.[(triple3)] Dave is kind.[(triple4 OR ((((triple5 triple3) -> rule2)) -> rule6) OR ((((((triple3) -> rule3) triple3) -> rule2)) -> rule6))] Dave is not blue.[(triple2)] Dave is round.[(triple5 OR ((triple3) -> rule3))] Dave is white.[(triple6 OR ((triple5 ((((triple5 triple3) -> rule2) triple4) -> rule5)) -> rule4) OR ((((triple3) -> rule3) ((((triple5 triple3) -> rule2) triple4) -> rule5)) -> rule4) OR ((triple5 ((((((triple3) -> rule3) triple3) -> rule2) triple4) -> rule5)) -> rule4) OR ((triple5 ((((triple5 triple3) -> rule2) ((((triple5 triple3) -> rule2)) -> rule6)) -> rule5)) -> rule4) OR ((((triple3) -> rule3) ((((((triple3) -> rule3) triple3) -> rule2) triple4) -> rule5)) -> rule4) OR ((triple5 ((((((triple3) -> rule3) triple3) -> rule2) ((((triple5 triple3) -> rule2)) -> rule6)) -> rule5)) -> rule4) OR ((((triple3) -> rule3) ((((triple5 triple3) -> rule2) ((((triple5 triple3) -> rule2)) -> rule6)) -> rule5)) -> rule4) OR ((((triple3) -> rule3) ((((((triple3) -> rule3) triple3) -> rule2) ((((triple5 triple3) -> rule2)) -> rule6)) -> rule5)) -> rule4) OR ((triple5 ((((triple5 triple3) -> rule2) ((((((triple3) -> rule3) triple3) -> rule2)) -> rule6)) -> rule5)) -> rule4) OR ((triple5 ((((((triple3) -> rule3) triple3) -> rule2) ((((((triple3) -> rule3) triple3) -> rule2)) -> rule6)) -> rule5)) -> rule4) OR ((((triple3) -> rule3) ((((triple5 triple3) -> rule2) ((((((triple3) -> rule3) triple3) -> rule2)) -> rule6)) -> rule5)) -> rule4) OR ((((triple3) -> rule3) ((((((triple3) -> rule3) triple3) -> rule2) ((((((triple3) -> rule3) triple3) -> rule2)) -> rule6)) -> rule5)) -> rule4))] Fiona is blue.[(triple7)] Fiona is nice.[(triple8 OR ((triple9 ((triple9) -> rule6)) -> rule5))] Fiona is red.[(triple9)] Fiona is white.[(triple10)] Harry is not blue.[(triple11)] @1: Anne is round.[(((triple1) -> rule3))] Dave is red.[(((triple5 triple3) -> rule2) OR ((((triple3) -> rule3) triple3) -> rule2))] Fiona is kind.[(((triple9) -> rule6))] @2: Anne is red.[(((((triple1) -> rule3) triple1) -> rule2))] Dave is nice.[(((((triple5 triple3) -> rule2) triple4) -> rule5) OR ((((((triple3) -> rule3) triple3) -> rule2) triple4) -> rule5) OR ((((triple5 triple3) -> rule2) ((((triple5 triple3) -> rule2)) -> rule6)) -> rule5) OR ((((((triple3) -> rule3) triple3) -> rule2) ((((triple5 triple3) -> rule2)) -> rule6)) -> rule5) OR ((((triple5 triple3) -> rule2) ((((((triple3) -> rule3) triple3) -> rule2)) -> rule6)) -> rule5) OR ((((((triple3) -> rule3) triple3) -> rule2) ((((((triple3) -> rule3) triple3) -> rule2)) -> rule6)) -> rule5))] @3: Anne is kind.[(((((((triple1) -> rule3) triple1) -> rule2)) -> rule6))] @4: Anne is nice.[(((((((triple1) -> rule3) triple1) -> rule2) ((((((triple1) -> rule3) triple1) -> rule2)) -> rule6)) -> rule5))] @5: Anne is white.[(((((triple1) -> rule3) ((((((triple1) -> rule3) triple1) -> rule2) ((((((triple1) -> rule3) triple1) -> rule2)) -> rule6)) -> rule5)) -> rule4))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple4
((((triple5 triple3) -> (rule2 % int2))) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((((triple3) -> (rule3 % int3)) triple3) -> (rule2 % int2))) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is not blue.
("Dave" "is" "blue" "-")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple5
((triple3) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
triple6
((triple5 ((((triple5 triple3) -> (rule2 % int3)) triple4) -> (rule5 % int2))) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((triple3) -> (rule3 % int4)) ((((triple5 triple3) -> (rule2 % int3)) triple4) -> (rule5 % int2))) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((triple5 ((((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3)) triple4) -> (rule5 % int2))) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((triple5 ((((triple5 triple3) -> (rule2 % int4)) ((((triple5 triple3) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((triple3) -> (rule3 % int4)) ((((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3)) triple4) -> (rule5 % int2))) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((triple5 ((((((triple3) -> (rule3 % int5)) triple3) -> (rule2 % int4)) ((((triple5 triple3) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((triple3) -> (rule3 % int5)) ((((triple5 triple3) -> (rule2 % int4)) ((((triple5 triple3) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((triple3) -> (rule3 % int5)) ((((((triple3) -> (rule3 % int5)) triple3) -> (rule2 % int4)) ((((triple5 triple3) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((triple5 ((((triple5 triple3) -> (rule2 % int5)) ((((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int5))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((triple5 ((((((triple3) -> (rule3 % int5)) triple3) -> (rule2 % int4)) ((((((triple3) -> (rule3 % int5)) triple3) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((triple3) -> (rule3 % int5)) ((((triple5 triple3) -> (rule2 % int4)) ((((((triple3) -> (rule3 % int5)) triple3) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((triple3) -> (rule3 % int5)) ((((((triple3) -> (rule3 % int5)) triple3) -> (rule2 % int4)) ((((((triple3) -> (rule3 % int5)) triple3) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
((triple9 ((triple9) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Harry is not blue.
("Harry" "is" "blue" "-")
triple11
Anne is round.
("Anne" "is" "round" "+")
((triple1) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple5 triple3) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((triple3) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple9) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
((((triple1) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((triple5 triple3) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((((triple3) -> (rule3 % int3)) triple3) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((triple5 triple3) -> (rule2 % int3)) ((((triple5 triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3)) ((((triple5 triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((triple5 triple3) -> (rule2 % int4)) ((((((triple3) -> (rule3 % int3)) triple3) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3)) ((((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
((((((triple1) -> (rule3 % int3)) triple1) -> (rule2 % int2))) -> (rule6 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
((((((triple1) -> (rule3 % int4)) triple1) -> (rule2 % int3)) ((((((triple1) -> (rule3 % int4)) triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
((((triple1) -> (rule3 % int5)) ((((((triple1) -> (rule3 % int5)) triple1) -> (rule2 % int4)) ((((((triple1) -> (rule3 % int5)) triple1) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5