Anne is blue. Anne is green. Anne is quiet. Anne is smart. Erin is blue. Fiona is blue. Fiona is rough. Fiona is smart. Harry is blue. Harry is cold. Harry is green. Harry is nice. Harry is quiet. Harry is rough. Harry is smart. All smart, blue things are green. Blue things are cold. If Erin is rough and Erin is quiet then Erin is smart. If something is rough then it is smart. All green, smart things are quiet. If something is nice then it is blue. If something is green and quiet then it is rough. If Erin is green then Erin is blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All smart, blue things are green.
((("something" "is" "smart" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
Blue things are cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
If Erin is rough and Erin is quiet then Erin is smart.
((("Erin" "is" "rough" "+") ("Erin" "is" "quiet" "+")) -> ("Erin" "is" "smart" "+"))
If something is rough then it is smart.
((("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
All green, smart things are quiet.
((("something" "is" "green" "+") ("something" "is" "smart" "+")) -> ("something" "is" "quiet" "+"))
If something is nice then it is blue.
((("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
If something is green and quiet then it is rough.
((("something" "is" "green" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
If Erin is green then Erin is blue.
((("Erin" "is" "green" "+")) -> ("Erin" "is" "blue" "+"))
Anne is smart.
True
1
proof
[(triple4 OR ((((triple2 triple3) -> rule7)) -> rule4))]
("Anne" "is" "smart" "+")
triple4
((((triple2 triple3) -> (rule7 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is not smart.
False
1
inv-proof
[(triple4 OR ((((triple2 triple3) -> rule7)) -> rule4))]
("Anne" "is" "smart" "-")
triple4
((((triple2 triple3) -> (rule7 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Erin is cold.
True
2
proof
[(((triple5) -> rule2))]
("Erin" "is" "cold" "+")
((triple5) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Anne is not cold.
False
2
inv-proof
[(((triple1) -> rule2))]
("Anne" "is" "cold" "-")
((triple1) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Fiona is quiet.
True
5
proof
[(((((triple8 triple6) -> rule1) triple8) -> rule5) OR ((((triple8 triple6) -> rule1) ((triple7) -> rule4)) -> rule5) OR ((((((triple7) -> rule4) triple6) -> rule1) triple8) -> rule5) OR ((((((triple7) -> rule4) triple6) -> rule1) ((triple7) -> rule4)) -> rule5))]
("Fiona" "is" "quiet" "+")
((((triple8 triple6) -> (rule1 % int2)) triple8) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple8 triple6) -> (rule1 % int3)) ((triple7) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple7) -> (rule4 % int3)) triple6) -> (rule1 % int2)) triple8) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple7) -> (rule4 % int3)) triple6) -> (rule1 % int2)) ((triple7) -> (rule4 % int3))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is not quiet.
False
5
inv-proof
[(((((triple8 triple6) -> rule1) triple8) -> rule5) OR ((((triple8 triple6) -> rule1) ((triple7) -> rule4)) -> rule5) OR ((((((triple7) -> rule4) triple6) -> rule1) triple8) -> rule5) OR ((((((triple7) -> rule4) triple6) -> rule1) ((triple7) -> rule4)) -> rule5))]
("Fiona" "is" "quiet" "-")
((((triple8 triple6) -> (rule1 % int2)) triple8) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple8 triple6) -> (rule1 % int3)) ((triple7) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple7) -> (rule4 % int3)) triple6) -> (rule1 % int2)) triple8) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple7) -> (rule4 % int3)) triple6) -> (rule1 % int2)) ((triple7) -> (rule4 % int3))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Erin is not smart.
Unknown
inv-rconc
[@4: Erin is smart.[CWA. Example of deepest failure = (rule3 <- rule7 <- rule1 <- rule4 <- FAIL)]]
("Erin" "is" "smart" "-")
Erin is quiet.
Unknown
rconc
[@3: Erin is quiet.[CWA. Example of deepest failure = (rule5 <- rule4 <- rule7 <- FAIL)]]
("Erin" "is" "quiet" "+")
Erin is not green.
Unknown
inv-rconc
[@3: Erin is green.[CWA. Example of deepest failure = (rule1 <- rule3 <- rule7 <- FAIL)]]
("Erin" "is" "green" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is blue.[(triple1)] Anne is green.[(triple2 OR ((triple4 triple1) -> rule1))] Anne is quiet.[(triple3 OR ((triple2 triple4) -> rule5) OR ((((triple4 triple1) -> rule1) triple4) -> rule5))] Anne is smart.[(triple4 OR ((((triple2 triple3) -> rule7)) -> rule4))] Erin is blue.[(triple5)] Fiona is blue.[(triple6)] Fiona is rough.[(triple7 OR ((((triple8 triple6) -> rule1) ((((triple8 triple6) -> rule1) triple8) -> rule5)) -> rule7))] Fiona is smart.[(triple8 OR ((triple7) -> rule4))] Harry is blue.[(triple9 OR ((triple12) -> rule6))] Harry is cold.[(triple10 OR ((triple9) -> rule2) OR ((((triple12) -> rule6)) -> rule2))] Harry is green.[(triple11 OR ((triple15 triple9) -> rule1) OR ((triple15 ((triple12) -> rule6)) -> rule1) OR ((((triple14) -> rule4) triple9) -> rule1) OR ((((triple14) -> rule4) ((triple12) -> rule6)) -> rule1))] Harry is nice.[(triple12)] Harry is quiet.[(triple13 OR ((triple11 triple15) -> rule5) OR ((triple11 ((triple14) -> rule4)) -> rule5) OR ((((triple15 triple9) -> rule1) triple15) -> rule5) OR ((((triple15 triple9) -> rule1) ((triple14) -> rule4)) -> rule5) OR ((((triple15 ((triple12) -> rule6)) -> rule1) triple15) -> rule5) OR ((((((triple14) -> rule4) triple9) -> rule1) triple15) -> rule5) OR ((((triple15 ((triple12) -> rule6)) -> rule1) ((triple14) -> rule4)) -> rule5) OR ((((((triple14) -> rule4) triple9) -> rule1) ((triple14) -> rule4)) -> rule5) OR ((((((triple14) -> rule4) ((triple12) -> rule6)) -> rule1) triple15) -> rule5) OR ((((((triple14) -> rule4) ((triple12) -> rule6)) -> rule1) ((triple14) -> rule4)) -> rule5))] Harry is rough.[(triple14 OR ((triple11 triple13) -> rule7) OR ((triple11 ((triple11 triple15) -> rule5)) -> rule7) OR ((((triple15 triple9) -> rule1) triple13) -> rule7) OR ((((triple15 triple9) -> rule1) ((triple11 triple15) -> rule5)) -> rule7) OR ((triple11 ((((triple15 triple9) -> rule1) triple15) -> rule5)) -> rule7) OR ((((triple15 ((triple12) -> rule6)) -> rule1) triple13) -> rule7) OR ((((triple15 triple9) -> rule1) ((((triple15 triple9) -> rule1) triple15) -> rule5)) -> rule7) OR ((((triple15 ((triple12) -> rule6)) -> rule1) ((triple11 triple15) -> rule5)) -> rule7) OR ((((triple15 ((triple12) -> rule6)) -> rule1) ((((triple15 triple9) -> rule1) triple15) -> rule5)) -> rule7) OR ((triple11 ((((triple15 ((triple12) -> rule6)) -> rule1) triple15) -> rule5)) -> rule7) OR ((((triple15 triple9) -> rule1) ((((triple15 ((triple12) -> rule6)) -> rule1) triple15) -> rule5)) -> rule7) OR ((((triple15 ((triple12) -> rule6)) -> rule1) ((((triple15 ((triple12) -> rule6)) -> rule1) triple15) -> rule5)) -> rule7))] Harry is smart.[(triple15 OR ((triple14) -> rule4) OR ((((triple11 triple13) -> rule7)) -> rule4))] @1: Anne is cold.[(((triple1) -> rule2))] Anne is rough.[(((triple2 triple3) -> rule7) OR ((triple2 ((triple2 triple4) -> rule5)) -> rule7) OR ((((triple4 triple1) -> rule1) triple3) -> rule7) OR ((((triple4 triple1) -> rule1) ((triple2 triple4) -> rule5)) -> rule7) OR ((triple2 ((((triple4 triple1) -> rule1) triple4) -> rule5)) -> rule7) OR ((((triple4 triple1) -> rule1) ((((triple4 triple1) -> rule1) triple4) -> rule5)) -> rule7))] Erin is cold.[(((triple5) -> rule2))] Fiona is cold.[(((triple6) -> rule2))] Fiona is green.[(((triple8 triple6) -> rule1) OR ((((triple7) -> rule4) triple6) -> rule1))] @2: Fiona is quiet.[(((((triple8 triple6) -> rule1) triple8) -> rule5) OR ((((triple8 triple6) -> rule1) ((triple7) -> rule4)) -> rule5) OR ((((((triple7) -> rule4) triple6) -> rule1) triple8) -> rule5) OR ((((((triple7) -> rule4) triple6) -> rule1) ((triple7) -> rule4)) -> rule5))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
((triple4 triple1) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
((triple2 triple4) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((((triple4 triple1) -> (rule1 % int2)) triple4) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
triple4
((((triple2 triple3) -> (rule7 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
((((triple8 triple6) -> (rule1 % int3)) ((((triple8 triple6) -> (rule1 % int3)) triple8) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple8
((triple7) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
triple9
((triple12) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple10
((triple9) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((((triple12) -> (rule6 % int2))) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
triple11
((triple15 triple9) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((triple15 ((triple12) -> (rule6 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple14) -> (rule4 % int2)) triple9) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple14) -> (rule4 % int3)) ((triple12) -> (rule6 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
((triple11 triple15) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((triple11 ((triple14) -> (rule4 % int2))) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple15 triple9) -> (rule1 % int2)) triple15) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((triple15 triple9) -> (rule1 % int3)) ((triple14) -> (rule4 % int2))) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((triple15 ((triple12) -> (rule6 % int3))) -> (rule1 % int2)) triple15) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((((triple14) -> (rule4 % int3)) triple9) -> (rule1 % int2)) triple15) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((triple15 ((triple12) -> (rule6 % int4))) -> (rule1 % int3)) ((triple14) -> (rule4 % int2))) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((triple14) -> (rule4 % int3)) triple9) -> (rule1 % int2)) ((triple14) -> (rule4 % int3))) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((((triple14) -> (rule4 % int4)) ((triple12) -> (rule6 % int3))) -> (rule1 % int2)) triple15) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((triple14) -> (rule4 % int4)) ((triple12) -> (rule6 % int3))) -> (rule1 % int2)) ((triple14) -> (rule4 % int4))) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
triple14
((triple11 triple13) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((triple11 ((triple11 triple15) -> (rule5 % int2))) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((triple15 triple9) -> (rule1 % int2)) triple13) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((triple15 triple9) -> (rule1 % int3)) ((triple11 triple15) -> (rule5 % int2))) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((triple11 ((((triple15 triple9) -> (rule1 % int3)) triple15) -> (rule5 % int2))) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((triple15 ((triple12) -> (rule6 % int3))) -> (rule1 % int2)) triple13) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((triple15 triple9) -> (rule1 % int3)) ((((triple15 triple9) -> (rule1 % int3)) triple15) -> (rule5 % int2))) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((triple15 ((triple12) -> (rule6 % int4))) -> (rule1 % int3)) ((triple11 triple15) -> (rule5 % int2))) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple15 ((triple12) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple15 triple9) -> (rule1 % int3)) triple15) -> (rule5 % int2))) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((triple11 ((((triple15 ((triple12) -> (rule6 % int4))) -> (rule1 % int3)) triple15) -> (rule5 % int2))) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple15 triple9) -> (rule1 % int4)) ((((triple15 ((triple12) -> (rule6 % int3))) -> (rule1 % int4)) triple15) -> (rule5 % int2))) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((triple15 ((triple12) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple15 ((triple12) -> (rule6 % int4))) -> (rule1 % int3)) triple15) -> (rule5 % int2))) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
triple15
((triple14) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple11 triple13) -> (rule7 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
((triple1) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((triple2 triple3) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((triple2 ((triple2 triple4) -> (rule5 % int2))) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((triple4 triple1) -> (rule1 % int2)) triple3) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple4 triple1) -> (rule1 % int3)) ((triple2 triple4) -> (rule5 % int2))) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((triple2 ((((triple4 triple1) -> (rule1 % int3)) triple4) -> (rule5 % int2))) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple4 triple1) -> (rule1 % int3)) ((((triple4 triple1) -> (rule1 % int3)) triple4) -> (rule5 % int2))) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
((triple5) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple6) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple8 triple6) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple7) -> (rule4 % int2)) triple6) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple8 triple6) -> (rule1 % int2)) triple8) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple8 triple6) -> (rule1 % int3)) ((triple7) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple7) -> (rule4 % int3)) triple6) -> (rule1 % int2)) triple8) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple7) -> (rule4 % int3)) triple6) -> (rule1 % int2)) ((triple7) -> (rule4 % int3))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3