Anne is big. Anne is green. Anne is quiet. Anne is rough. Anne is smart. Charlie is furry. Charlie is green. Charlie is red. Charlie is rough. Charlie is smart. Fiona is big. Fiona is furry. Fiona is green. Fiona is red. Fiona is smart. If Charlie is big and Charlie is rough then Charlie is quiet. If Charlie is big and Charlie is green then Charlie is rough. If something is rough then it is red. All green, smart things are rough. If something is green then it is red. Quiet things are big. Big, green things are rough. All red, green things are quiet.
Anne is big.
("Anne" "is" "big" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If Charlie is big and Charlie is rough then Charlie is quiet.
((("Charlie" "is" "big" "+") ("Charlie" "is" "rough" "+")) -> ("Charlie" "is" "quiet" "+"))
If Charlie is big and Charlie is green then Charlie is rough.
((("Charlie" "is" "big" "+") ("Charlie" "is" "green" "+")) -> ("Charlie" "is" "rough" "+"))
If something is rough then it is red.
((("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
All green, smart things are rough.
((("something" "is" "green" "+") ("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
If something is green then it is red.
((("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
Quiet things are big.
((("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
Big, green things are rough.
((("something" "is" "big" "+") ("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
All red, green things are quiet.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "is" "quiet" "+"))
Charlie is rough.
True
1
proof
[(triple9 OR ((triple7 triple10) -> rule4) OR ((((((triple8 triple7) -> rule8)) -> rule6) triple7) -> rule2) OR ((((((triple8 triple7) -> rule8)) -> rule6) triple7) -> rule7) OR ((((((((triple7) -> rule5) triple7) -> rule8)) -> rule6) triple7) -> rule2) OR ((((((((triple7) -> rule5) triple7) -> rule8)) -> rule6) triple7) -> rule7))]
("Charlie" "is" "rough" "+")
triple9
((triple7 triple10) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((((triple8 triple7) -> (rule8 % int3))) -> (rule6 % int2)) triple7) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple8 triple7) -> (rule8 % int3))) -> (rule6 % int2)) triple7) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((((triple7) -> (rule5 % int4)) triple7) -> (rule8 % int3))) -> (rule6 % int2)) triple7) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((((((triple7) -> (rule5 % int4)) triple7) -> (rule8 % int3))) -> (rule6 % int2)) triple7) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Fiona is not smart.
False
1
inv-proof
[(triple15)]
("Fiona" "is" "smart" "-")
triple15
Fiona is rough.
True
3
proof
[(((triple11 triple13) -> rule7) OR ((triple13 triple15) -> rule4) OR ((((((triple14 triple13) -> rule8)) -> rule6) triple13) -> rule7) OR ((((((((triple13) -> rule5) triple13) -> rule8)) -> rule6) triple13) -> rule7))]
("Fiona" "is" "rough" "+")
((triple11 triple13) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple13 triple15) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((((triple14 triple13) -> (rule8 % int3))) -> (rule6 % int2)) triple13) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((((((triple13) -> (rule5 % int4)) triple13) -> (rule8 % int3))) -> (rule6 % int2)) triple13) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is not rough.
False
3
inv-proof
[(((triple11 triple13) -> rule7) OR ((triple13 triple15) -> rule4) OR ((((((triple14 triple13) -> rule8)) -> rule6) triple13) -> rule7) OR ((((((((triple13) -> rule5) triple13) -> rule8)) -> rule6) triple13) -> rule7))]
("Fiona" "is" "rough" "-")
((triple11 triple13) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple13 triple15) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((((triple14 triple13) -> (rule8 % int3))) -> (rule6 % int2)) triple13) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((((((triple13) -> (rule5 % int4)) triple13) -> (rule8 % int3))) -> (rule6 % int2)) triple13) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Charlie is big.
True
4
proof
[(((((triple8 triple7) -> rule8)) -> rule6) OR ((((((triple7) -> rule5) triple7) -> rule8)) -> rule6) OR ((((((triple9) -> rule3) triple7) -> rule8)) -> rule6) OR ((((((((triple7 triple10) -> rule4)) -> rule3) triple7) -> rule8)) -> rule6))]
("Charlie" "is" "big" "+")
((((triple8 triple7) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((((triple7) -> (rule5 % int3)) triple7) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((triple9) -> (rule3 % int3)) triple7) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((((triple7 triple10) -> (rule4 % int4))) -> (rule3 % int3)) triple7) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is not big.
False
4
inv-proof
[(((((triple8 triple7) -> rule8)) -> rule6) OR ((((((triple7) -> rule5) triple7) -> rule8)) -> rule6) OR ((((((triple9) -> rule3) triple7) -> rule8)) -> rule6) OR ((((((((triple7 triple10) -> rule4)) -> rule3) triple7) -> rule8)) -> rule6))]
("Charlie" "is" "big" "-")
((((triple8 triple7) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((((triple7) -> (rule5 % int3)) triple7) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((triple9) -> (rule3 % int3)) triple7) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((((triple7 triple10) -> (rule4 % int4))) -> (rule3 % int3)) triple7) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
@0: Anne is big.[(triple1 OR ((triple3) -> rule6) OR ((((((triple2) -> rule5) triple2) -> rule8)) -> rule6) OR ((((((triple4) -> rule3) triple2) -> rule8)) -> rule6) OR ((((((((triple2 triple5) -> rule4)) -> rule3) triple2) -> rule8)) -> rule6))] Anne is green.[(triple2)] Anne is quiet.[(triple3 OR ((((triple2) -> rule5) triple2) -> rule8) OR ((((triple4) -> rule3) triple2) -> rule8) OR ((((((triple1 triple2) -> rule7)) -> rule3) triple2) -> rule8) OR ((((((triple2 triple5) -> rule4)) -> rule3) triple2) -> rule8))] Anne is rough.[(triple4 OR ((triple1 triple2) -> rule7) OR ((triple2 triple5) -> rule4) OR ((((triple3) -> rule6) triple2) -> rule7) OR ((((((((triple2) -> rule5) triple2) -> rule8)) -> rule6) triple2) -> rule7))] Anne is smart.[(triple5)] Charlie is furry.[(triple6)] Charlie is green.[(triple7)] Charlie is red.[(triple8 OR ((triple7) -> rule5) OR ((triple9) -> rule3) OR ((((triple7 triple10) -> rule4)) -> rule3))] Charlie is rough.[(triple9 OR ((triple7 triple10) -> rule4) OR ((((((triple8 triple7) -> rule8)) -> rule6) triple7) -> rule2) OR ((((((triple8 triple7) -> rule8)) -> rule6) triple7) -> rule7) OR ((((((((triple7) -> rule5) triple7) -> rule8)) -> rule6) triple7) -> rule2) OR ((((((((triple7) -> rule5) triple7) -> rule8)) -> rule6) triple7) -> rule7))] Charlie is smart.[(triple10)] Fiona is big.[(triple11 OR ((((triple14 triple13) -> rule8)) -> rule6) OR ((((((triple13) -> rule5) triple13) -> rule8)) -> rule6) OR ((((((((triple13 triple15) -> rule4)) -> rule3) triple13) -> rule8)) -> rule6))] Fiona is furry.[(triple12)] Fiona is green.[(triple13)] Fiona is red.[(triple14 OR ((triple13) -> rule5) OR ((((triple11 triple13) -> rule7)) -> rule3) OR ((((triple13 triple15) -> rule4)) -> rule3))] Fiona is smart.[(triple15)] @1: Anne is red.[(((triple2) -> rule5) OR ((triple4) -> rule3) OR ((((triple1 triple2) -> rule7)) -> rule3) OR ((((triple2 triple5) -> rule4)) -> rule3) OR ((((((triple3) -> rule6) triple2) -> rule7)) -> rule3))] Charlie is quiet.[(((triple8 triple7) -> rule8) OR ((((triple7) -> rule5) triple7) -> rule8) OR ((((triple9) -> rule3) triple7) -> rule8) OR ((((((triple7 triple10) -> rule4)) -> rule3) triple7) -> rule8))] Fiona is quiet.[(((triple14 triple13) -> rule8) OR ((((triple13) -> rule5) triple13) -> rule8) OR ((((((triple11 triple13) -> rule7)) -> rule3) triple13) -> rule8) OR ((((((triple13 triple15) -> rule4)) -> rule3) triple13) -> rule8))] Fiona is rough.[(((triple11 triple13) -> rule7) OR ((triple13 triple15) -> rule4) OR ((((((triple14 triple13) -> rule8)) -> rule6) triple13) -> rule7) OR ((((((((triple13) -> rule5) triple13) -> rule8)) -> rule6) triple13) -> rule7))] @2: Charlie is big.[(((((triple8 triple7) -> rule8)) -> rule6) OR ((((((triple7) -> rule5) triple7) -> rule8)) -> rule6) OR ((((((triple9) -> rule3) triple7) -> rule8)) -> rule6) OR ((((((((triple7 triple10) -> rule4)) -> rule3) triple7) -> rule8)) -> rule6))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple3) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((((triple2) -> (rule5 % int3)) triple2) -> (rule8 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((((triple4) -> (rule3 % int3)) triple2) -> (rule8 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((((((triple2 triple5) -> (rule4 % int4))) -> (rule3 % int3)) triple2) -> (rule8 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
((((triple2) -> (rule5 % int2)) triple2) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple4) -> (rule3 % int2)) triple2) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((((triple1 triple2) -> (rule7 % int3))) -> (rule3 % int2)) triple2) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((triple2 triple5) -> (rule4 % int3))) -> (rule3 % int2)) triple2) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
((triple1 triple2) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((triple2 triple5) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple3) -> (rule6 % int2)) triple2) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((((((triple2) -> (rule5 % int4)) triple2) -> (rule8 % int3))) -> (rule6 % int2)) triple2) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Charlie is furry.
("Charlie" "is" "furry" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple8
((triple7) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((triple9) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((((triple7 triple10) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple9
((triple7 triple10) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((((triple8 triple7) -> (rule8 % int3))) -> (rule6 % int2)) triple7) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple8 triple7) -> (rule8 % int3))) -> (rule6 % int2)) triple7) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((((triple7) -> (rule5 % int4)) triple7) -> (rule8 % int3))) -> (rule6 % int2)) triple7) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((((((triple7) -> (rule5 % int4)) triple7) -> (rule8 % int3))) -> (rule6 % int2)) triple7) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple10
Fiona is big.
("Fiona" "is" "big" "+")
triple11
((((triple14 triple13) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((((((triple13) -> (rule5 % int3)) triple13) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((((((triple13 triple15) -> (rule4 % int4))) -> (rule3 % int3)) triple13) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple12
Fiona is green.
("Fiona" "is" "green" "+")
triple13
Fiona is red.
("Fiona" "is" "red" "+")
triple14
((triple13) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple11 triple13) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple13 triple15) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple15
Anne is red.
("Anne" "is" "red" "+")
((triple2) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((triple4) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((((triple1 triple2) -> (rule7 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple2 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((((triple3) -> (rule6 % int3)) triple2) -> (rule7 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple8 triple7) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((((triple7) -> (rule5 % int2)) triple7) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((triple9) -> (rule3 % int2)) triple7) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((((triple7 triple10) -> (rule4 % int3))) -> (rule3 % int2)) triple7) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple14 triple13) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((((triple13) -> (rule5 % int2)) triple13) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((((triple11 triple13) -> (rule7 % int3))) -> (rule3 % int2)) triple13) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple13 triple15) -> (rule4 % int3))) -> (rule3 % int2)) triple13) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple11 triple13) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple13 triple15) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((((triple14 triple13) -> (rule8 % int3))) -> (rule6 % int2)) triple13) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((((((triple13) -> (rule5 % int4)) triple13) -> (rule8 % int3))) -> (rule6 % int2)) triple13) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
((((triple8 triple7) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((((triple7) -> (rule5 % int3)) triple7) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((triple9) -> (rule3 % int3)) triple7) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((((triple7 triple10) -> (rule4 % int4))) -> (rule3 % int3)) triple7) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4