Bob is quiet. Bob is red. Charlie is big. Charlie is cold. Charlie is quiet. Charlie is red. Erin is cold. Erin is rough. Fiona is big. Fiona is cold. Fiona is quiet. Fiona is round. If something is quiet then it is kind. All big, round things are cold. All big things are round. All cold, rough things are quiet. If something is cold then it is round. If Bob is round and Bob is big then Bob is kind. If Fiona is cold then Fiona is rough. If Bob is rough then Bob is big. Kind things are rough.
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If something is quiet then it is kind.
((("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
All big, round things are cold.
((("something" "is" "big" "+") ("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
All big things are round.
((("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
All cold, rough things are quiet.
((("something" "is" "cold" "+") ("something" "is" "rough" "+")) -> ("something" "is" "quiet" "+"))
If something is cold then it is round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
If Bob is round and Bob is big then Bob is kind.
((("Bob" "is" "round" "+") ("Bob" "is" "big" "+")) -> ("Bob" "is" "kind" "+"))
If Fiona is cold then Fiona is rough.
((("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "rough" "+"))
If Bob is rough then Bob is big.
((("Bob" "is" "rough" "+")) -> ("Bob" "is" "big" "+"))
Kind things are rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
Fiona is round.
True
1
proof
[(triple12 OR ((triple10) -> rule5) OR ((triple9) -> rule3))]
("Fiona" "is" "round" "+")
triple12
((triple10) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple9) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not quiet.
False
1
inv-proof
[(triple11 OR ((triple10 ((triple10) -> rule7)) -> rule4) OR ((((triple9 triple12) -> rule2) ((triple10) -> rule7)) -> rule4) OR ((triple10 ((((triple9 triple12) -> rule2)) -> rule7)) -> rule4) OR ((((triple9 triple12) -> rule2) ((((triple9 triple12) -> rule2)) -> rule7)) -> rule4) OR ((((triple9 ((triple9) -> rule3)) -> rule2) ((triple10) -> rule7)) -> rule4) OR ((((triple9 ((triple9) -> rule3)) -> rule2) ((((triple9 triple12) -> rule2)) -> rule7)) -> rule4) OR ((triple10 ((((triple9 ((triple9) -> rule3)) -> rule2)) -> rule7)) -> rule4) OR ((((triple9 triple12) -> rule2) ((((triple9 ((triple9) -> rule3)) -> rule2)) -> rule7)) -> rule4) OR ((((triple9 ((triple9) -> rule3)) -> rule2) ((((triple9 ((triple9) -> rule3)) -> rule2)) -> rule7)) -> rule4))]
("Fiona" "is" "quiet" "-")
triple11
((triple10 ((triple10) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple9 triple12) -> (rule2 % int3)) ((triple10) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((triple10 ((((triple9 triple12) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple9 triple12) -> (rule2 % int3)) ((((triple9 triple12) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple9 ((triple9) -> (rule3 % int4))) -> (rule2 % int3)) ((triple10) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple9 ((triple9) -> (rule3 % int4))) -> (rule2 % int3)) ((((triple9 triple12) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((triple10 ((((triple9 ((triple9) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple9 triple12) -> (rule2 % int4)) ((((triple9 ((triple9) -> (rule3 % int3))) -> (rule2 % int4))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple9 ((triple9) -> (rule3 % int4))) -> (rule2 % int3)) ((((triple9 ((triple9) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Erin is quiet.
True
3
proof
[(((triple7 triple8) -> rule4))]
("Erin" "is" "quiet" "+")
((triple7 triple8) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Fiona is not kind.
False
2
inv-proof
[(((triple11) -> rule1) OR ((((triple10 ((triple10) -> rule7)) -> rule4)) -> rule1) OR ((((((triple9 triple12) -> rule2) ((triple10) -> rule7)) -> rule4)) -> rule1) OR ((((triple10 ((((triple9 triple12) -> rule2)) -> rule7)) -> rule4)) -> rule1) OR ((((((triple9 triple12) -> rule2) ((((triple9 triple12) -> rule2)) -> rule7)) -> rule4)) -> rule1) OR ((((((triple9 ((triple9) -> rule3)) -> rule2) ((triple10) -> rule7)) -> rule4)) -> rule1) OR ((((((triple9 ((triple9) -> rule3)) -> rule2) ((((triple9 triple12) -> rule2)) -> rule7)) -> rule4)) -> rule1) OR ((((triple10 ((((triple9 ((triple9) -> rule3)) -> rule2)) -> rule7)) -> rule4)) -> rule1) OR ((((((triple9 triple12) -> rule2) ((((triple9 ((triple9) -> rule3)) -> rule2)) -> rule7)) -> rule4)) -> rule1) OR ((((((triple9 ((triple9) -> rule3)) -> rule2) ((((triple9 ((triple9) -> rule3)) -> rule2)) -> rule7)) -> rule4)) -> rule1))]
("Fiona" "is" "kind" "-")
((triple11) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple10 ((triple10) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple9 triple12) -> (rule2 % int4)) ((triple10) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple10 ((((triple9 triple12) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((triple9 triple12) -> (rule2 % int4)) ((((triple9 triple12) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((triple9 ((triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((triple10) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((triple9 ((triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple9 triple12) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((triple10 ((((triple9 ((triple9) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((triple9 triple12) -> (rule2 % int5)) ((((triple9 ((triple9) -> (rule3 % int4))) -> (rule2 % int5))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((((triple9 ((triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple9 ((triple9) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
Charlie is rough.
True
3
proof
[(((((triple5) -> rule1)) -> rule9))]
("Charlie" "is" "rough" "+")
((((triple5) -> (rule1 % int2))) -> (rule9 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Erin is not kind.
False
4
inv-proof
[(((((triple7 triple8) -> rule4)) -> rule1))]
("Erin" "is" "kind" "-")
((((triple7 triple8) -> (rule4 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Bob is big.
True
4
proof
[(((((((triple1) -> rule1)) -> rule9)) -> rule8))]
("Bob" "is" "big" "+")
((((((triple1) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is not big.
False
4
inv-proof
[(((((((triple1) -> rule1)) -> rule9)) -> rule8))]
("Bob" "is" "big" "-")
((((((triple1) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
True
5
proof
[(((((((((triple1) -> rule1)) -> rule9)) -> rule8)) -> rule3))]
("Bob" "is" "round" "+")
((((((((triple1) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is not round.
False
5
inv-proof
[(((((((((triple1) -> rule1)) -> rule9)) -> rule8)) -> rule3))]
("Bob" "is" "round" "-")
((((((((triple1) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is cold.
True
10
proof
[(((((((((triple1) -> rule1)) -> rule9)) -> rule8) ((((((((triple1) -> rule1)) -> rule9)) -> rule8)) -> rule3)) -> rule2))]
("Bob" "is" "cold" "+")
((((((((triple1) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule8 % int3)) ((((((((triple1) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is not cold.
False
10
inv-proof
[(((((((((triple1) -> rule1)) -> rule9)) -> rule8) ((((((((triple1) -> rule1)) -> rule9)) -> rule8)) -> rule3)) -> rule2))]
("Bob" "is" "cold" "-")
((((((((triple1) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule8 % int3)) ((((((((triple1) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Bob is quiet.[(triple1)] Bob is red.[(triple2)] Charlie is big.[(triple3)] Charlie is cold.[(triple4 OR ((triple3 ((triple3) -> rule3)) -> rule2))] Charlie is quiet.[(triple5)] Charlie is red.[(triple6)] Erin is cold.[(triple7)] Erin is rough.[(triple8)] Fiona is big.[(triple9)] Fiona is cold.[(triple10 OR ((triple9 triple12) -> rule2) OR ((triple9 ((triple9) -> rule3)) -> rule2))] Fiona is quiet.[(triple11 OR ((triple10 ((triple10) -> rule7)) -> rule4) OR ((((triple9 triple12) -> rule2) ((triple10) -> rule7)) -> rule4) OR ((triple10 ((((triple9 triple12) -> rule2)) -> rule7)) -> rule4) OR ((((triple9 triple12) -> rule2) ((((triple9 triple12) -> rule2)) -> rule7)) -> rule4) OR ((((triple9 ((triple9) -> rule3)) -> rule2) ((triple10) -> rule7)) -> rule4) OR ((((triple9 ((triple9) -> rule3)) -> rule2) ((((triple9 triple12) -> rule2)) -> rule7)) -> rule4) OR ((triple10 ((((triple9 ((triple9) -> rule3)) -> rule2)) -> rule7)) -> rule4) OR ((((triple9 triple12) -> rule2) ((((triple9 ((triple9) -> rule3)) -> rule2)) -> rule7)) -> rule4) OR ((((triple9 ((triple9) -> rule3)) -> rule2) ((((triple9 ((triple9) -> rule3)) -> rule2)) -> rule7)) -> rule4))] Fiona is round.[(triple12 OR ((triple10) -> rule5) OR ((triple9) -> rule3))] @1: Bob is kind.[(((triple1) -> rule1))] Charlie is kind.[(((triple5) -> rule1))] Charlie is round.[(((triple3) -> rule3) OR ((triple4) -> rule5))] Erin is quiet.[(((triple7 triple8) -> rule4))] Erin is round.[(((triple7) -> rule5))] Fiona is kind.[(((triple11) -> rule1) OR ((((triple10 ((triple10) -> rule7)) -> rule4)) -> rule1) OR ((((((triple9 triple12) -> rule2) ((triple10) -> rule7)) -> rule4)) -> rule1) OR ((((triple10 ((((triple9 triple12) -> rule2)) -> rule7)) -> rule4)) -> rule1) OR ((((((triple9 triple12) -> rule2) ((((triple9 triple12) -> rule2)) -> rule7)) -> rule4)) -> rule1) OR ((((((triple9 ((triple9) -> rule3)) -> rule2) ((triple10) -> rule7)) -> rule4)) -> rule1) OR ((((((triple9 ((triple9) -> rule3)) -> rule2) ((((triple9 triple12) -> rule2)) -> rule7)) -> rule4)) -> rule1) OR ((((triple10 ((((triple9 ((triple9) -> rule3)) -> rule2)) -> rule7)) -> rule4)) -> rule1) OR ((((((triple9 triple12) -> rule2) ((((triple9 ((triple9) -> rule3)) -> rule2)) -> rule7)) -> rule4)) -> rule1) OR ((((((triple9 ((triple9) -> rule3)) -> rule2) ((((triple9 ((triple9) -> rule3)) -> rule2)) -> rule7)) -> rule4)) -> rule1))] Fiona is rough.[(((triple10) -> rule7) OR ((((triple11) -> rule1)) -> rule9) OR ((((triple9 triple12) -> rule2)) -> rule7) OR ((((triple9 ((triple9) -> rule3)) -> rule2)) -> rule7))] @2: Bob is rough.[(((((triple1) -> rule1)) -> rule9))] Charlie is rough.[(((((triple5) -> rule1)) -> rule9))] Erin is kind.[(((((triple7 triple8) -> rule4)) -> rule1))] @3: Bob is big.[(((((((triple1) -> rule1)) -> rule9)) -> rule8))] @4: Bob is round.[(((((((((triple1) -> rule1)) -> rule9)) -> rule8)) -> rule3))] @5: Bob is cold.[(((((((((triple1) -> rule1)) -> rule9)) -> rule8) ((((((((triple1) -> rule1)) -> rule9)) -> rule8)) -> rule3)) -> rule2))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
((triple3 ((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Erin is cold.
("Erin" "is" "cold" "+")
triple7
Erin is rough.
("Erin" "is" "rough" "+")
triple8
Fiona is big.
("Fiona" "is" "big" "+")
triple9
Fiona is cold.
("Fiona" "is" "cold" "+")
triple10
((triple9 triple12) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple9 ((triple9) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
((triple10 ((triple10) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple9 triple12) -> (rule2 % int3)) ((triple10) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((triple10 ((((triple9 triple12) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple9 triple12) -> (rule2 % int3)) ((((triple9 triple12) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple9 ((triple9) -> (rule3 % int4))) -> (rule2 % int3)) ((triple10) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple9 ((triple9) -> (rule3 % int4))) -> (rule2 % int3)) ((((triple9 triple12) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((triple10 ((((triple9 ((triple9) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple9 triple12) -> (rule2 % int4)) ((((triple9 ((triple9) -> (rule3 % int3))) -> (rule2 % int4))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple9 ((triple9) -> (rule3 % int4))) -> (rule2 % int3)) ((((triple9 ((triple9) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
triple12
((triple10) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple9) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((triple1) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple5) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple3) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple4) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple7 triple8) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple7) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple11) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple10 ((triple10) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple9 triple12) -> (rule2 % int4)) ((triple10) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple10 ((((triple9 triple12) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((triple9 triple12) -> (rule2 % int4)) ((((triple9 triple12) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((triple9 ((triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((triple10) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((triple9 ((triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple9 triple12) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((triple10 ((((triple9 ((triple9) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((triple9 triple12) -> (rule2 % int5)) ((((triple9 ((triple9) -> (rule3 % int4))) -> (rule2 % int5))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((((triple9 ((triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple9 ((triple9) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple10) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple11) -> (rule1 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple9 triple12) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple9 ((triple9) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
((((triple1) -> (rule1 % int2))) -> (rule9 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple5) -> (rule1 % int2))) -> (rule9 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
((((triple7 triple8) -> (rule4 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
((((((triple1) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
((((((((triple1) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
((((((((triple1) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule8 % int3)) ((((((((triple1) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5