Anne is kind. Dave is cold. Dave is red. Erin is furry. Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Fiona is cold. Fiona is furry. Fiona is quiet. If someone is cold then they are red. If someone is red and cold then they are quiet. All quiet, cold people are nice. If someone is rough then they are cold. All kind people are rough.
Anne is kind.
("Anne" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is red.
("Dave" "is" "red" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
If someone is cold then they are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is red and cold then they are quiet.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
All quiet, cold people are nice.
((("someone" "is" "quiet" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough then they are cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
All kind people are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Fiona is quiet.
True
1
proof
[(triple12 OR ((((triple10) -> rule1) triple10) -> rule2))]
("Fiona" "is" "quiet" "+")
triple12
((((triple10) -> (rule1 % int2)) triple10) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is not cold.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "cold" "-")
triple10
Anne is rough.
True
2
proof
[(((triple1) -> rule5))]
("Anne" "is" "rough" "+")
((triple1) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Dave is not quiet.
False
3
inv-proof
[(((triple3 triple2) -> rule2) OR ((((triple2) -> rule1) triple2) -> rule2))]
("Dave" "is" "quiet" "-")
((triple3 triple2) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((((triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is nice.
True
5
proof
[(((((triple3 triple2) -> rule2) triple2) -> rule3) OR ((((((triple2) -> rule1) triple2) -> rule2) triple2) -> rule3))]
("Dave" "is" "nice" "+")
((((triple3 triple2) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((((triple2) -> (rule1 % int3)) triple2) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Anne is not cold.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule4))]
("Anne" "is" "cold" "-")
((((triple1) -> (rule5 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is red.
True
4
proof
[(((((((triple1) -> rule5)) -> rule4)) -> rule1))]
("Anne" "is" "red" "+")
((((((triple1) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is not red.
False
4
inv-proof
[(((((((triple1) -> rule5)) -> rule4)) -> rule1))]
("Anne" "is" "red" "-")
((((((triple1) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is quiet.
True
8
proof
[(((((((((triple1) -> rule5)) -> rule4)) -> rule1) ((((triple1) -> rule5)) -> rule4)) -> rule2))]
("Anne" "is" "quiet" "+")
((((((((triple1) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple1) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is not quiet.
False
8
inv-proof
[(((((((((triple1) -> rule5)) -> rule4)) -> rule1) ((((triple1) -> rule5)) -> rule4)) -> rule2))]
("Anne" "is" "quiet" "-")
((((((((triple1) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple1) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is nice.
True
12
proof
[(((((((((((triple1) -> rule5)) -> rule4)) -> rule1) ((((triple1) -> rule5)) -> rule4)) -> rule2) ((((triple1) -> rule5)) -> rule4)) -> rule3))]
("Anne" "is" "nice" "+")
((((((((((triple1) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple1) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule2 % int2)) ((((triple1) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is not nice.
False
12
inv-proof
[(((((((((((triple1) -> rule5)) -> rule4)) -> rule1) ((((triple1) -> rule5)) -> rule4)) -> rule2) ((((triple1) -> rule5)) -> rule4)) -> rule3))]
("Anne" "is" "nice" "-")
((((((((((triple1) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple1) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule2 % int2)) ((((triple1) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "rough" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "rough" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is kind.[(triple1)] Dave is cold.[(triple2)] Dave is red.[(triple3 OR ((triple2) -> rule1))] Erin is furry.[(triple4)] Erin is kind.[(triple5)] Erin is nice.[(triple6 OR ((triple7 ((triple9) -> rule4)) -> rule3) OR ((triple7 ((((triple5) -> rule5)) -> rule4)) -> rule3) OR ((((triple8 ((triple9) -> rule4)) -> rule2) ((triple9) -> rule4)) -> rule3) OR ((((triple8 ((triple9) -> rule4)) -> rule2) ((((triple5) -> rule5)) -> rule4)) -> rule3) OR ((((triple8 ((((triple5) -> rule5)) -> rule4)) -> rule2) ((triple9) -> rule4)) -> rule3) OR ((((triple8 ((((triple5) -> rule5)) -> rule4)) -> rule2) ((((triple5) -> rule5)) -> rule4)) -> rule3) OR ((((((((triple9) -> rule4)) -> rule1) ((triple9) -> rule4)) -> rule2) ((triple9) -> rule4)) -> rule3) OR ((((((((triple9) -> rule4)) -> rule1) ((triple9) -> rule4)) -> rule2) ((((triple5) -> rule5)) -> rule4)) -> rule3) OR ((((((((triple9) -> rule4)) -> rule1) ((((triple5) -> rule5)) -> rule4)) -> rule2) ((triple9) -> rule4)) -> rule3) OR ((((((((triple9) -> rule4)) -> rule1) ((((triple5) -> rule5)) -> rule4)) -> rule2) ((((triple5) -> rule5)) -> rule4)) -> rule3) OR ((((((((((triple5) -> rule5)) -> rule4)) -> rule1) ((triple9) -> rule4)) -> rule2) ((triple9) -> rule4)) -> rule3) OR ((((((((((triple5) -> rule5)) -> rule4)) -> rule1) ((triple9) -> rule4)) -> rule2) ((((triple5) -> rule5)) -> rule4)) -> rule3) OR ((((((((((triple5) -> rule5)) -> rule4)) -> rule1) ((((triple5) -> rule5)) -> rule4)) -> rule2) ((triple9) -> rule4)) -> rule3) OR ((((((((((triple5) -> rule5)) -> rule4)) -> rule1) ((((triple5) -> rule5)) -> rule4)) -> rule2) ((((triple5) -> rule5)) -> rule4)) -> rule3))] Erin is quiet.[(triple7 OR ((triple8 ((triple9) -> rule4)) -> rule2) OR ((triple8 ((((triple5) -> rule5)) -> rule4)) -> rule2) OR ((((((triple9) -> rule4)) -> rule1) ((triple9) -> rule4)) -> rule2) OR ((((((triple9) -> rule4)) -> rule1) ((((triple5) -> rule5)) -> rule4)) -> rule2) OR ((((((((triple5) -> rule5)) -> rule4)) -> rule1) ((triple9) -> rule4)) -> rule2) OR ((((((((triple5) -> rule5)) -> rule4)) -> rule1) ((((triple5) -> rule5)) -> rule4)) -> rule2))] Erin is red.[(triple8 OR ((((triple9) -> rule4)) -> rule1) OR ((((((triple5) -> rule5)) -> rule4)) -> rule1))] Erin is rough.[(triple9 OR ((triple5) -> rule5))] Fiona is cold.[(triple10)] Fiona is furry.[(triple11)] Fiona is quiet.[(triple12 OR ((((triple10) -> rule1) triple10) -> rule2))] @1: Anne is rough.[(((triple1) -> rule5))] Dave is quiet.[(((triple3 triple2) -> rule2) OR ((((triple2) -> rule1) triple2) -> rule2))] Erin is cold.[(((triple9) -> rule4) OR ((((triple5) -> rule5)) -> rule4))] Fiona is nice.[(((triple12 triple10) -> rule3) OR ((((((triple10) -> rule1) triple10) -> rule2) triple10) -> rule3))] Fiona is red.[(((triple10) -> rule1))] @2: Anne is cold.[(((((triple1) -> rule5)) -> rule4))] Dave is nice.[(((((triple3 triple2) -> rule2) triple2) -> rule3) OR ((((((triple2) -> rule1) triple2) -> rule2) triple2) -> rule3))] @3: Anne is red.[(((((((triple1) -> rule5)) -> rule4)) -> rule1))] @4: Anne is quiet.[(((((((((triple1) -> rule5)) -> rule4)) -> rule1) ((((triple1) -> rule5)) -> rule4)) -> rule2))] @5: Anne is nice.[(((((((((((triple1) -> rule5)) -> rule4)) -> rule1) ((((triple1) -> rule5)) -> rule4)) -> rule2) ((((triple1) -> rule5)) -> rule4)) -> rule3))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple3
((triple2) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
((triple7 ((triple9) -> (rule4 % int2))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((triple7 ((((triple5) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((triple8 ((triple9) -> (rule4 % int3))) -> (rule2 % int2)) ((triple9) -> (rule4 % int3))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((triple8 ((triple9) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple5) -> (rule5 % int2))) -> (rule4 % int4))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((triple8 ((((triple5) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) ((triple9) -> (rule4 % int3))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((triple8 ((((triple5) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) ((((triple5) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((((triple9) -> (rule4 % int4))) -> (rule1 % int3)) ((triple9) -> (rule4 % int4))) -> (rule2 % int2)) ((triple9) -> (rule4 % int4))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((((triple9) -> (rule4 % int5))) -> (rule1 % int4)) ((triple9) -> (rule4 % int5))) -> (rule2 % int3)) ((((triple5) -> (rule5 % int2))) -> (rule4 % int5))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
((((((((triple9) -> (rule4 % int5))) -> (rule1 % int4)) ((((triple5) -> (rule5 % int3))) -> (rule4 % int5))) -> (rule2 % int2)) ((triple9) -> (rule4 % int5))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
((((((((triple9) -> (rule4 % int5))) -> (rule1 % int4)) ((((triple5) -> (rule5 % int3))) -> (rule4 % int5))) -> (rule2 % int2)) ((((triple5) -> (rule5 % int3))) -> (rule4 % int5))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
((((((((((triple5) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule1 % int3)) ((triple9) -> (rule4 % int4))) -> (rule2 % int2)) ((triple9) -> (rule4 % int4))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((((((triple5) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule1 % int3)) ((triple9) -> (rule4 % int4))) -> (rule2 % int2)) ((((triple5) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((((((triple5) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple5) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule2 % int2)) ((triple9) -> (rule4 % int4))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((((((triple5) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple5) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule2 % int2)) ((((triple5) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
((triple8 ((triple9) -> (rule4 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((triple8 ((((triple5) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((((triple9) -> (rule4 % int3))) -> (rule1 % int2)) ((triple9) -> (rule4 % int3))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple9) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple5) -> (rule5 % int2))) -> (rule4 % int4))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((((triple5) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((triple9) -> (rule4 % int3))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((((triple5) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple5) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
triple8
((((triple9) -> (rule4 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((((triple5) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
triple9
((triple5) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple12
((((triple10) -> (rule1 % int2)) triple10) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
((triple1) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple3 triple2) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((((triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
((triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((triple5) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple12 triple10) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((((triple10) -> (rule1 % int3)) triple10) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
((triple10) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
((((triple1) -> (rule5 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((triple3 triple2) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((((triple2) -> (rule1 % int3)) triple2) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
((((((triple1) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
((((((((triple1) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple1) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
((((((((((triple1) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple1) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule2 % int2)) ((((triple1) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5