Bob is kind. Dave is cold. Dave is green. Dave is quiet. Dave is smart. Dave is white. Fiona is big. Fiona is quiet. Fiona is smart. Fiona is white. If something is kind and quiet then it is cold. All cold things are quiet. Cold, white things are smart. All big, quiet things are green. All cold, quiet things are kind. All green, white things are cold. If something is quiet then it is green. If Dave is green and Dave is kind then Dave is smart.
Bob is kind.
("Bob" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If something is kind and quiet then it is cold.
((("something" "is" "kind" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
All cold things are quiet.
((("something" "is" "cold" "+")) -> ("something" "is" "quiet" "+"))
Cold, white things are smart.
((("something" "is" "cold" "+") ("something" "is" "white" "+")) -> ("something" "is" "smart" "+"))
All big, quiet things are green.
((("something" "is" "big" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
All cold, quiet things are kind.
((("something" "is" "cold" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
All green, white things are cold.
((("something" "is" "green" "+") ("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
If something is quiet then it is green.
((("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
If Dave is green and Dave is kind then Dave is smart.
((("Dave" "is" "green" "+") ("Dave" "is" "kind" "+")) -> ("Dave" "is" "smart" "+"))
Dave is cold.
True
1
proof
[(triple2 OR ((triple3 triple6) -> rule6) OR ((((triple4) -> rule7) triple6) -> rule6))]
("Dave" "is" "cold" "+")
triple2
((triple3 triple6) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((((triple4) -> (rule7 % int2)) triple6) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Fiona is not white.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "white" "-")
triple10
Dave is kind.
True
3
proof
[(((triple2 triple4) -> rule5) OR ((triple2 ((triple2) -> rule2)) -> rule5) OR ((((triple3 triple6) -> rule6) triple4) -> rule5) OR ((((triple3 triple6) -> rule6) ((triple2) -> rule2)) -> rule5) OR ((triple2 ((((triple3 triple6) -> rule6)) -> rule2)) -> rule5) OR ((((((triple4) -> rule7) triple6) -> rule6) triple4) -> rule5) OR ((((triple3 triple6) -> rule6) ((((triple3 triple6) -> rule6)) -> rule2)) -> rule5) OR ((((((triple4) -> rule7) triple6) -> rule6) ((triple2) -> rule2)) -> rule5) OR ((((((triple4) -> rule7) triple6) -> rule6) ((((triple3 triple6) -> rule6)) -> rule2)) -> rule5))]
("Dave" "is" "kind" "+")
((triple2 triple4) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((triple2 ((triple2) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((triple3 triple6) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((((triple3 triple6) -> (rule6 % int3)) ((triple2) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((triple2 ((((triple3 triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((((triple4) -> (rule7 % int3)) triple6) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple3 triple6) -> (rule6 % int3)) ((((triple3 triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((((triple4) -> (rule7 % int4)) triple6) -> (rule6 % int3)) ((triple2) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple4) -> (rule7 % int4)) triple6) -> (rule6 % int3)) ((((triple3 triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Fiona is not green.
False
2
inv-proof
[(((triple8) -> rule7) OR ((triple7 triple8) -> rule4))]
("Fiona" "is" "green" "-")
((triple8) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple7 triple8) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is cold.
True
4
proof
[(((((triple8) -> rule7) triple10) -> rule6) OR ((((triple7 triple8) -> rule4) triple10) -> rule6))]
("Fiona" "is" "cold" "+")
((((triple8) -> (rule7 % int2)) triple10) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple7 triple8) -> (rule4 % int2)) triple10) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not cold.
False
4
inv-proof
[(((((triple8) -> rule7) triple10) -> rule6) OR ((((triple7 triple8) -> rule4) triple10) -> rule6))]
("Fiona" "is" "cold" "-")
((((triple8) -> (rule7 % int2)) triple10) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple7 triple8) -> (rule4 % int2)) triple10) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is kind.
True
6
proof
[(((((((triple8) -> rule7) triple10) -> rule6) triple8) -> rule5) OR ((((((triple7 triple8) -> rule4) triple10) -> rule6) triple8) -> rule5))]
("Fiona" "is" "kind" "+")
((((((triple8) -> (rule7 % int3)) triple10) -> (rule6 % int2)) triple8) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple7 triple8) -> (rule4 % int3)) triple10) -> (rule6 % int2)) triple8) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is not kind.
False
6
inv-proof
[(((((((triple8) -> rule7) triple10) -> rule6) triple8) -> rule5) OR ((((((triple7 triple8) -> rule4) triple10) -> rule6) triple8) -> rule5))]
("Fiona" "is" "kind" "-")
((((((triple8) -> (rule7 % int3)) triple10) -> (rule6 % int2)) triple8) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple7 triple8) -> (rule4 % int3)) triple10) -> (rule6 % int2)) triple8) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Bob is not quiet.
Unknown
inv-rconc
[@2: Bob is quiet.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Bob" "is" "quiet" "-")
Bob is cold.
Unknown
rconc
[@3: Bob is cold.[CWA. Example of deepest failure = (rule1 <- rule2 <- rule6 <- FAIL)]]
("Bob" "is" "cold" "+")
Bob is not green.
Unknown
inv-rconc
[@3: Bob is green.[CWA. Example of deepest failure = (rule7 <- rule2 <- rule1 <- FAIL)]]
("Bob" "is" "green" "-")
Bob is smart.
Unknown
rconc
[@1: Bob is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "smart" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Bob is kind.[(triple1)] Dave is cold.[(triple2 OR ((triple3 triple6) -> rule6) OR ((((triple4) -> rule7) triple6) -> rule6))] Dave is green.[(triple3 OR ((triple4) -> rule7) OR ((((triple2) -> rule2)) -> rule7))] Dave is quiet.[(triple4 OR ((triple2) -> rule2) OR ((((triple3 triple6) -> rule6)) -> rule2))] Dave is smart.[(triple5 OR ((triple2 triple6) -> rule3) OR ((triple3 ((triple2 triple4) -> rule5)) -> rule8) OR ((((triple3 triple6) -> rule6) triple6) -> rule3) OR ((((triple4) -> rule7) ((triple2 triple4) -> rule5)) -> rule8) OR ((triple3 ((triple2 ((triple2) -> rule2)) -> rule5)) -> rule8) OR ((triple3 ((((triple3 triple6) -> rule6) triple4) -> rule5)) -> rule8) OR ((((((triple4) -> rule7) triple6) -> rule6) triple6) -> rule3) OR ((triple3 ((((triple3 triple6) -> rule6) ((triple2) -> rule2)) -> rule5)) -> rule8) OR ((((triple4) -> rule7) ((triple2 ((triple2) -> rule2)) -> rule5)) -> rule8) OR ((((triple4) -> rule7) ((((triple3 triple6) -> rule6) triple4) -> rule5)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((triple2 triple4) -> rule5)) -> rule8) OR ((((triple4) -> rule7) ((((triple3 triple6) -> rule6) ((triple2) -> rule2)) -> rule5)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((triple2 ((triple2) -> rule2)) -> rule5)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((((triple3 triple6) -> rule6) triple4) -> rule5)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((((triple3 triple6) -> rule6) ((triple2) -> rule2)) -> rule5)) -> rule8) OR ((triple3 ((triple2 ((((triple3 triple6) -> rule6)) -> rule2)) -> rule5)) -> rule8) OR ((triple3 ((((((triple4) -> rule7) triple6) -> rule6) triple4) -> rule5)) -> rule8) OR ((triple3 ((((triple3 triple6) -> rule6) ((((triple3 triple6) -> rule6)) -> rule2)) -> rule5)) -> rule8) OR ((triple3 ((((((triple4) -> rule7) triple6) -> rule6) ((triple2) -> rule2)) -> rule5)) -> rule8) OR ((((triple4) -> rule7) ((triple2 ((((triple3 triple6) -> rule6)) -> rule2)) -> rule5)) -> rule8) OR ((((triple4) -> rule7) ((((((triple4) -> rule7) triple6) -> rule6) triple4) -> rule5)) -> rule8) OR ((triple3 ((((((triple4) -> rule7) triple6) -> rule6) ((((triple3 triple6) -> rule6)) -> rule2)) -> rule5)) -> rule8) OR ((((triple4) -> rule7) ((((triple3 triple6) -> rule6) ((((triple3 triple6) -> rule6)) -> rule2)) -> rule5)) -> rule8) OR ((((triple4) -> rule7) ((((((triple4) -> rule7) triple6) -> rule6) ((triple2) -> rule2)) -> rule5)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((triple2 ((((triple3 triple6) -> rule6)) -> rule2)) -> rule5)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((((((triple4) -> rule7) triple6) -> rule6) triple4) -> rule5)) -> rule8) OR ((((triple4) -> rule7) ((((((triple4) -> rule7) triple6) -> rule6) ((((triple3 triple6) -> rule6)) -> rule2)) -> rule5)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((((triple3 triple6) -> rule6) ((((triple3 triple6) -> rule6)) -> rule2)) -> rule5)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((((((triple4) -> rule7) triple6) -> rule6) ((triple2) -> rule2)) -> rule5)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((((((triple4) -> rule7) triple6) -> rule6) ((((triple3 triple6) -> rule6)) -> rule2)) -> rule5)) -> rule8))] Dave is white.[(triple6)] Fiona is big.[(triple7)] Fiona is quiet.[(triple8)] Fiona is smart.[(triple9 OR ((((((triple8) -> rule7) triple10) -> rule6) triple10) -> rule3) OR ((((((triple7 triple8) -> rule4) triple10) -> rule6) triple10) -> rule3))] Fiona is white.[(triple10)] @1: Dave is kind.[(((triple2 triple4) -> rule5) OR ((triple2 ((triple2) -> rule2)) -> rule5) OR ((((triple3 triple6) -> rule6) triple4) -> rule5) OR ((((triple3 triple6) -> rule6) ((triple2) -> rule2)) -> rule5) OR ((triple2 ((((triple3 triple6) -> rule6)) -> rule2)) -> rule5) OR ((((((triple4) -> rule7) triple6) -> rule6) triple4) -> rule5) OR ((((triple3 triple6) -> rule6) ((((triple3 triple6) -> rule6)) -> rule2)) -> rule5) OR ((((((triple4) -> rule7) triple6) -> rule6) ((triple2) -> rule2)) -> rule5) OR ((((((triple4) -> rule7) triple6) -> rule6) ((((triple3 triple6) -> rule6)) -> rule2)) -> rule5))] Fiona is green.[(((triple8) -> rule7) OR ((triple7 triple8) -> rule4))] @2: Fiona is cold.[(((((triple8) -> rule7) triple10) -> rule6) OR ((((triple7 triple8) -> rule4) triple10) -> rule6))] @3: Fiona is kind.[(((((((triple8) -> rule7) triple10) -> rule6) triple8) -> rule5) OR ((((((triple7 triple8) -> rule4) triple10) -> rule6) triple8) -> rule5))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
((triple3 triple6) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((((triple4) -> (rule7 % int2)) triple6) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
triple3
((triple4) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
((triple2) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((((triple3 triple6) -> (rule6 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
triple5
((triple2 triple6) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((triple3 ((triple2 triple4) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple3 triple6) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((((triple4) -> (rule7 % int3)) ((triple2 triple4) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((triple3 ((triple2 ((triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((triple3 ((((triple3 triple6) -> (rule6 % int3)) triple4) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((((triple4) -> (rule7 % int3)) triple6) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((triple3 ((((triple3 triple6) -> (rule6 % int4)) ((triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple4) -> (rule7 % int4)) ((triple2 ((triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((triple4) -> (rule7 % int4)) ((((triple3 triple6) -> (rule6 % int3)) triple4) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple2) -> (rule2 % int4))) -> (rule7 % int3)) ((triple2 triple4) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((triple4) -> (rule7 % int5)) ((((triple3 triple6) -> (rule6 % int4)) ((triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((triple2) -> (rule2 % int4))) -> (rule7 % int3)) ((triple2 ((triple2) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((triple2) -> (rule2 % int5))) -> (rule7 % int4)) ((((triple3 triple6) -> (rule6 % int3)) triple4) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((triple2) -> (rule2 % int5))) -> (rule7 % int4)) ((((triple3 triple6) -> (rule6 % int3)) ((triple2) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((triple3 ((triple2 ((((triple3 triple6) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((triple3 ((((((triple4) -> (rule7 % int4)) triple6) -> (rule6 % int3)) triple4) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((triple3 ((((triple3 triple6) -> (rule6 % int4)) ((((triple3 triple6) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((triple3 ((((((triple4) -> (rule7 % int5)) triple6) -> (rule6 % int4)) ((triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((triple4) -> (rule7 % int5)) ((triple2 ((((triple3 triple6) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((triple4) -> (rule7 % int4)) ((((((triple4) -> (rule7 % int4)) triple6) -> (rule6 % int3)) triple4) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((triple3 ((((((triple4) -> (rule7 % int5)) triple6) -> (rule6 % int4)) ((((triple3 triple6) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((triple4) -> (rule7 % int5)) ((((triple3 triple6) -> (rule6 % int4)) ((((triple3 triple6) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((triple4) -> (rule7 % int5)) ((((((triple4) -> (rule7 % int5)) triple6) -> (rule6 % int4)) ((triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((triple2) -> (rule2 % int5))) -> (rule7 % int4)) ((triple2 ((((triple3 triple6) -> (rule6 % int3))) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((triple2) -> (rule2 % int5))) -> (rule7 % int4)) ((((((triple4) -> (rule7 % int4)) triple6) -> (rule6 % int3)) triple4) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((triple4) -> (rule7 % int5)) ((((((triple4) -> (rule7 % int5)) triple6) -> (rule6 % int4)) ((((triple3 triple6) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((triple2) -> (rule2 % int5))) -> (rule7 % int4)) ((((triple3 triple6) -> (rule6 % int3)) ((((triple3 triple6) -> (rule6 % int3))) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((triple2) -> (rule2 % int5))) -> (rule7 % int4)) ((((((triple4) -> (rule7 % int4)) triple6) -> (rule6 % int3)) ((triple2) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((triple2) -> (rule2 % int5))) -> (rule7 % int4)) ((((((triple4) -> (rule7 % int4)) triple6) -> (rule6 % int3)) ((((triple3 triple6) -> (rule6 % int3))) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
triple6
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Fiona is smart.
("Fiona" "is" "smart" "+")
triple9
((((((triple8) -> (rule7 % int3)) triple10) -> (rule6 % int2)) triple10) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple7 triple8) -> (rule4 % int3)) triple10) -> (rule6 % int2)) triple10) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Dave is kind.
("Dave" "is" "kind" "+")
((triple2 triple4) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((triple2 ((triple2) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((triple3 triple6) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((((triple3 triple6) -> (rule6 % int3)) ((triple2) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((triple2 ((((triple3 triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((((triple4) -> (rule7 % int3)) triple6) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple3 triple6) -> (rule6 % int3)) ((((triple3 triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((((triple4) -> (rule7 % int4)) triple6) -> (rule6 % int3)) ((triple2) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple4) -> (rule7 % int4)) triple6) -> (rule6 % int3)) ((((triple3 triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
((triple8) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple7 triple8) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple8) -> (rule7 % int2)) triple10) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple7 triple8) -> (rule4 % int2)) triple10) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
((((((triple8) -> (rule7 % int3)) triple10) -> (rule6 % int2)) triple8) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple7 triple8) -> (rule4 % int3)) triple10) -> (rule6 % int2)) triple8) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3