Anne is kind. Anne is not nice. Dave is not cold. Dave is nice. Dave is round. Dave is white. Fiona is nice. Fiona is red. Gary is cold. Gary is kind. Gary is nice. Gary is quiet. Gary is round. Gary is white. White, round people are quiet. If Dave is kind and Dave is round then Dave is not cold. If Anne is cold then Anne is round. If someone is round then they are nice. If someone is kind and not red then they are nice. All cold, white people are round. Red, white people are cold. Nice people are white. If someone is quiet then they are kind.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is not nice.
("Anne" "is" "nice" "-")
Dave is not cold.
("Dave" "is" "cold" "-")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
White, round people are quiet.
((("someone" "is" "white" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
If Dave is kind and Dave is round then Dave is not cold.
((("Dave" "is" "kind" "+") ("Dave" "is" "round" "+")) -> ("Dave" "is" "cold" "-"))
If Anne is cold then Anne is round.
((("Anne" "is" "cold" "+")) -> ("Anne" "is" "round" "+"))
If someone is round then they are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and not red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "nice" "+"))
All cold, white people are round.
((("someone" "is" "cold" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
Red, white people are cold.
((("someone" "is" "red" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
Nice people are white.
((("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
If someone is quiet then they are kind.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
Dave is nice.
True
1
proof
[(triple4 OR ((triple5) -> rule4))]
("Dave" "is" "nice" "+")
triple4
((triple5) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Fiona is not red.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "red" "-")
triple8
Fiona is white.
True
2
proof
[(((triple7) -> rule8))]
("Fiona" "is" "white" "+")
((triple7) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple7) -> rule8))]
("Fiona" "is" "white" "-")
((triple7) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
True
4
proof
[(((triple8 ((triple7) -> rule8)) -> rule7))]
("Fiona" "is" "cold" "+")
((triple8 ((triple7) -> (rule8 % int2))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is not cold.
False
4
inv-proof
[(((triple8 ((triple7) -> rule8)) -> rule7))]
("Fiona" "is" "cold" "-")
((triple8 ((triple7) -> (rule8 % int2))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
True
7
proof
[(((((triple8 ((triple7) -> rule8)) -> rule7) ((triple7) -> rule8)) -> rule6))]
("Fiona" "is" "round" "+")
((((triple8 ((triple7) -> (rule8 % int3))) -> (rule7 % int2)) ((triple7) -> (rule8 % int3))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is not round.
False
7
inv-proof
[(((((triple8 ((triple7) -> rule8)) -> rule7) ((triple7) -> rule8)) -> rule6))]
("Fiona" "is" "round" "-")
((((triple8 ((triple7) -> (rule8 % int3))) -> (rule7 % int2)) ((triple7) -> (rule8 % int3))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is quiet.
True
10
proof
[(((((triple7) -> rule8) ((((triple8 ((triple7) -> rule8)) -> rule7) ((triple7) -> rule8)) -> rule6)) -> rule1))]
("Fiona" "is" "quiet" "+")
((((triple7) -> (rule8 % int4)) ((((triple8 ((triple7) -> (rule8 % int4))) -> (rule7 % int3)) ((triple7) -> (rule8 % int4))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is not quiet.
False
10
inv-proof
[(((((triple7) -> rule8) ((((triple8 ((triple7) -> rule8)) -> rule7) ((triple7) -> rule8)) -> rule6)) -> rule1))]
("Fiona" "is" "quiet" "-")
((((triple7) -> (rule8 % int4)) ((((triple8 ((triple7) -> (rule8 % int4))) -> (rule7 % int3)) ((triple7) -> (rule8 % int4))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is kind.
True
11
proof
[(((((((triple7) -> rule8) ((((triple8 ((triple7) -> rule8)) -> rule7) ((triple7) -> rule8)) -> rule6)) -> rule1)) -> rule9))]
("Fiona" "is" "kind" "+")
((((((triple7) -> (rule8 % int5)) ((((triple8 ((triple7) -> (rule8 % int5))) -> (rule7 % int4)) ((triple7) -> (rule8 % int5))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Fiona is not kind.
False
11
inv-proof
[(((((((triple7) -> rule8) ((((triple8 ((triple7) -> rule8)) -> rule7) ((triple7) -> rule8)) -> rule6)) -> rule1)) -> rule9))]
("Fiona" "is" "kind" "-")
((((((triple7) -> (rule8 % int5)) ((((triple8 ((triple7) -> (rule8 % int5))) -> (rule7 % int4)) ((triple7) -> (rule8 % int5))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Anne is not quiet.
Unknown
inv-rconc
[@2: Anne is quiet.[CWA. Example of deepest failure = (rule1 <- rule8 <- FAIL)]]
("Anne" "is" "quiet" "-")
Anne is white.
Unknown
rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Anne" "is" "white" "+")
Anne is not cold.
Unknown
inv-rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Anne" "is" "cold" "-")
Anne is round.
Unknown
rconc
[@2: Anne is round.[CWA. Example of deepest failure = (rule3 <- rule7 <- FAIL)]]
("Anne" "is" "round" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Anne is kind.[(triple1)] Anne is not nice.[(triple2)] Dave is nice.[(triple4 OR ((triple5) -> rule4))] Dave is not cold.[(triple3 OR ((((((triple6 triple5) -> rule1)) -> rule9) triple5) -> rule2) OR ((((((((triple4) -> rule8) triple5) -> rule1)) -> rule9) triple5) -> rule2) OR ((((((((((triple5) -> rule4)) -> rule8) triple5) -> rule1)) -> rule9) triple5) -> rule2))] Dave is round.[(triple5)] Dave is white.[(triple6 OR ((triple4) -> rule8) OR ((((triple5) -> rule4)) -> rule8))] Fiona is nice.[(triple7)] Fiona is red.[(triple8)] Gary is cold.[(triple9)] Gary is kind.[(triple10 OR ((triple12) -> rule9) OR ((((triple14 triple13) -> rule1)) -> rule9) OR ((((triple14 ((triple9 triple14) -> rule6)) -> rule1)) -> rule9) OR ((((((triple11) -> rule8) triple13) -> rule1)) -> rule9) OR ((((((triple11) -> rule8) ((triple9 triple14) -> rule6)) -> rule1)) -> rule9) OR ((((triple14 ((triple9 ((triple11) -> rule8)) -> rule6)) -> rule1)) -> rule9) OR ((((((((triple13) -> rule4)) -> rule8) triple13) -> rule1)) -> rule9) OR ((((((triple11) -> rule8) ((triple9 ((triple11) -> rule8)) -> rule6)) -> rule1)) -> rule9) OR ((((((((triple13) -> rule4)) -> rule8) ((triple9 triple14) -> rule6)) -> rule1)) -> rule9) OR ((((((((triple13) -> rule4)) -> rule8) ((triple9 ((triple11) -> rule8)) -> rule6)) -> rule1)) -> rule9))] Gary is nice.[(triple11 OR ((triple13) -> rule4) OR ((((triple9 triple14) -> rule6)) -> rule4))] Gary is quiet.[(triple12 OR ((triple14 triple13) -> rule1) OR ((triple14 ((triple9 triple14) -> rule6)) -> rule1) OR ((((triple11) -> rule8) triple13) -> rule1) OR ((((triple11) -> rule8) ((triple9 triple14) -> rule6)) -> rule1) OR ((triple14 ((triple9 ((triple11) -> rule8)) -> rule6)) -> rule1) OR ((((((triple13) -> rule4)) -> rule8) triple13) -> rule1) OR ((((triple11) -> rule8) ((triple9 ((triple11) -> rule8)) -> rule6)) -> rule1) OR ((((((triple13) -> rule4)) -> rule8) ((triple9 triple14) -> rule6)) -> rule1) OR ((((((triple13) -> rule4)) -> rule8) ((triple9 ((triple11) -> rule8)) -> rule6)) -> rule1))] Gary is round.[(triple13 OR ((triple9 triple14) -> rule6) OR ((triple9 ((triple11) -> rule8)) -> rule6))] Gary is white.[(triple14 OR ((triple11) -> rule8) OR ((((triple13) -> rule4)) -> rule8))] @1: Dave is quiet.[(((triple6 triple5) -> rule1) OR ((((triple4) -> rule8) triple5) -> rule1) OR ((((((triple5) -> rule4)) -> rule8) triple5) -> rule1))] Fiona is white.[(((triple7) -> rule8))] @2: Dave is kind.[(((((triple6 triple5) -> rule1)) -> rule9) OR ((((((triple4) -> rule8) triple5) -> rule1)) -> rule9) OR ((((((((triple5) -> rule4)) -> rule8) triple5) -> rule1)) -> rule9))] Fiona is cold.[(((triple8 ((triple7) -> rule8)) -> rule7))] @3: Fiona is round.[(((((triple8 ((triple7) -> rule8)) -> rule7) ((triple7) -> rule8)) -> rule6))] @4: Fiona is quiet.[(((((triple7) -> rule8) ((((triple8 ((triple7) -> rule8)) -> rule7) ((triple7) -> rule8)) -> rule6)) -> rule1))] @5: Fiona is kind.[(((((((triple7) -> rule8) ((((triple8 ((triple7) -> rule8)) -> rule7) ((triple7) -> rule8)) -> rule6)) -> rule1)) -> rule9))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is not nice.
("Anne" "is" "nice" "-")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple4
((triple5) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not cold.
("Dave" "is" "cold" "-")
triple3
((((((triple6 triple5) -> (rule1 % int3))) -> (rule9 % int2)) triple5) -> (rule2 % int1))
Dave is not cold.
("Dave" "is" "cold" "-")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((((((triple4) -> (rule8 % int4)) triple5) -> (rule1 % int3))) -> (rule9 % int2)) triple5) -> (rule2 % int1))
Dave is not cold.
("Dave" "is" "cold" "-")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) triple5) -> (rule1 % int3))) -> (rule9 % int2)) triple5) -> (rule2 % int1))
Dave is not cold.
("Dave" "is" "cold" "-")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
((triple4) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((((triple5) -> (rule4 % int2))) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple10
((triple12) -> (rule9 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((triple14 triple13) -> (rule1 % int2))) -> (rule9 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple14 ((triple9 triple14) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple11) -> (rule8 % int3)) triple13) -> (rule1 % int2))) -> (rule9 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((((triple11) -> (rule8 % int4)) ((triple9 triple14) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple14 ((triple9 ((triple11) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((((triple13) -> (rule4 % int4))) -> (rule8 % int3)) triple13) -> (rule1 % int2))) -> (rule9 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple11) -> (rule8 % int4)) ((triple9 ((triple11) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((((triple13) -> (rule4 % int5))) -> (rule8 % int4)) ((triple9 triple14) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((triple13) -> (rule4 % int5))) -> (rule8 % int4)) ((triple9 ((triple11) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
triple11
((triple13) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple9 triple14) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple12
((triple14 triple13) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple14 ((triple9 triple14) -> (rule6 % int2))) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple11) -> (rule8 % int2)) triple13) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((triple11) -> (rule8 % int3)) ((triple9 triple14) -> (rule6 % int2))) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((triple14 ((triple9 ((triple11) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((((triple13) -> (rule4 % int3))) -> (rule8 % int2)) triple13) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple11) -> (rule8 % int3)) ((triple9 ((triple11) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((((triple13) -> (rule4 % int4))) -> (rule8 % int3)) ((triple9 triple14) -> (rule6 % int2))) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple13) -> (rule4 % int4))) -> (rule8 % int3)) ((triple9 ((triple11) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
triple13
((triple9 triple14) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple9 ((triple11) -> (rule8 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
triple14
((triple11) -> (rule8 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((triple13) -> (rule4 % int2))) -> (rule8 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple6 triple5) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((((triple4) -> (rule8 % int2)) triple5) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((((triple5) -> (rule4 % int3))) -> (rule8 % int2)) triple5) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
((triple7) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((((triple6 triple5) -> (rule1 % int2))) -> (rule9 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((((triple4) -> (rule8 % int3)) triple5) -> (rule1 % int2))) -> (rule9 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((((((triple5) -> (rule4 % int4))) -> (rule8 % int3)) triple5) -> (rule1 % int2))) -> (rule9 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple8 ((triple7) -> (rule8 % int2))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((((triple8 ((triple7) -> (rule8 % int3))) -> (rule7 % int2)) ((triple7) -> (rule8 % int3))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple7) -> (rule8 % int4)) ((((triple8 ((triple7) -> (rule8 % int4))) -> (rule7 % int3)) ((triple7) -> (rule8 % int4))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
((((((triple7) -> (rule8 % int5)) ((((triple8 ((triple7) -> (rule8 % int5))) -> (rule7 % int4)) ((triple7) -> (rule8 % int5))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5