Dave is white. Erin is round. Fiona is blue. Fiona is cold. Fiona is quiet. Fiona is white. Harry is quiet. Round, white people are blue. Cold, young people are blue. All quiet people are cold. All smart, quiet people are young. If someone is round then they are white. Cold people are smart. All blue people are quiet. All quiet people are smart. If Fiona is cold then Fiona is white.
Dave is white.
("Dave" "is" "white" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Round, white people are blue.
((("someone" "is" "round" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
Cold, young people are blue.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
All quiet people are cold.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
All smart, quiet people are young.
((("someone" "is" "smart" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
If someone is round then they are white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
Cold people are smart.
((("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
All blue people are quiet.
((("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
All quiet people are smart.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
If Fiona is cold then Fiona is white.
((("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "white" "+"))
Fiona is white.
True
1
proof
[(triple6 OR ((triple4) -> rule9) OR ((((triple5) -> rule3)) -> rule9) OR ((((((triple3) -> rule7)) -> rule3)) -> rule9))]
("Fiona" "is" "white" "+")
triple6
((triple4) -> (rule9 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule9 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((((triple3) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is not white.
False
1
inv-proof
[(triple6 OR ((triple4) -> rule9) OR ((((triple5) -> rule3)) -> rule9) OR ((((((triple3) -> rule7)) -> rule3)) -> rule9))]
("Fiona" "is" "white" "-")
triple6
((triple4) -> (rule9 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule9 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((((triple3) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Harry is cold.
True
2
proof
[(((triple7) -> rule3))]
("Harry" "is" "cold" "+")
((triple7) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Erin is not white.
False
2
inv-proof
[(((triple2) -> rule5))]
("Erin" "is" "white" "-")
((triple2) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Harry is young.
True
4
proof
[(((((triple7) -> rule8) triple7) -> rule4) OR ((((((triple7) -> rule3)) -> rule6) triple7) -> rule4))]
("Harry" "is" "young" "+")
((((triple7) -> (rule8 % int2)) triple7) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((((triple7) -> (rule3 % int3))) -> (rule6 % int2)) triple7) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is not young.
False
4
inv-proof
[(((((triple7) -> rule8) triple7) -> rule4) OR ((((((triple7) -> rule3)) -> rule6) triple7) -> rule4))]
("Harry" "is" "young" "-")
((((triple7) -> (rule8 % int2)) triple7) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((((triple7) -> (rule3 % int3))) -> (rule6 % int2)) triple7) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is blue.
True
7
proof
[(((((triple7) -> rule3) ((((triple7) -> rule8) triple7) -> rule4)) -> rule2) OR ((((triple7) -> rule3) ((((((triple7) -> rule3)) -> rule6) triple7) -> rule4)) -> rule2))]
("Harry" "is" "blue" "+")
((((triple7) -> (rule3 % int4)) ((((triple7) -> (rule8 % int3)) triple7) -> (rule4 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple7) -> (rule3 % int4)) ((((((triple7) -> (rule3 % int4))) -> (rule6 % int3)) triple7) -> (rule4 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is not blue.
False
7
inv-proof
[(((((triple7) -> rule3) ((((triple7) -> rule8) triple7) -> rule4)) -> rule2) OR ((((triple7) -> rule3) ((((((triple7) -> rule3)) -> rule6) triple7) -> rule4)) -> rule2))]
("Harry" "is" "blue" "-")
((((triple7) -> (rule3 % int4)) ((((triple7) -> (rule8 % int3)) triple7) -> (rule4 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple7) -> (rule3 % int4)) ((((((triple7) -> (rule3 % int4))) -> (rule6 % int3)) triple7) -> (rule4 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Erin is smart.
True
6
proof
[(((((((triple2 ((triple2) -> rule5)) -> rule1)) -> rule7)) -> rule8) OR ((((((((triple2 ((triple2) -> rule5)) -> rule1)) -> rule7)) -> rule3)) -> rule6))]
("Erin" "is" "smart" "+")
((((((triple2 ((triple2) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((((triple2 ((triple2) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Erin is not smart.
False
6
inv-proof
[(((((((triple2 ((triple2) -> rule5)) -> rule1)) -> rule7)) -> rule8) OR ((((((((triple2 ((triple2) -> rule5)) -> rule1)) -> rule7)) -> rule3)) -> rule6))]
("Erin" "is" "smart" "-")
((((((triple2 ((triple2) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((((triple2 ((triple2) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Erin is young.
True
12
proof
[(((((((((triple2 ((triple2) -> rule5)) -> rule1)) -> rule7)) -> rule8) ((((triple2 ((triple2) -> rule5)) -> rule1)) -> rule7)) -> rule4) OR ((((((((((triple2 ((triple2) -> rule5)) -> rule1)) -> rule7)) -> rule3)) -> rule6) ((((triple2 ((triple2) -> rule5)) -> rule1)) -> rule7)) -> rule4))]
("Erin" "is" "young" "+")
((((((((triple2 ((triple2) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((((triple2 ((triple2) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((((((triple2 ((triple2) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple2 ((triple2) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is white.
("Erin" "is" "white" "+")
int6
Erin is not young.
False
12
inv-proof
[(((((((((triple2 ((triple2) -> rule5)) -> rule1)) -> rule7)) -> rule8) ((((triple2 ((triple2) -> rule5)) -> rule1)) -> rule7)) -> rule4) OR ((((((((((triple2 ((triple2) -> rule5)) -> rule1)) -> rule7)) -> rule3)) -> rule6) ((((triple2 ((triple2) -> rule5)) -> rule1)) -> rule7)) -> rule4))]
("Erin" "is" "young" "-")
((((((((triple2 ((triple2) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((((triple2 ((triple2) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((((((triple2 ((triple2) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple2 ((triple2) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is white.
("Erin" "is" "white" "+")
int6
Dave is not cold.
Unknown
inv-rconc
[@3: Dave is cold.[CWA. Example of deepest failure = (rule3 <- rule7 <- rule1 <- FAIL)]]
("Dave" "is" "cold" "-")
Dave is young.
Unknown
rconc
[@3: Dave is young.[CWA. Example of deepest failure = (rule4 <- rule7 <- rule1 <- FAIL)]]
("Dave" "is" "young" "+")
Dave is not quiet.
Unknown
inv-rconc
[@3: Dave is quiet.[CWA. Example of deepest failure = (rule7 <- rule2 <- rule3 <- FAIL)]]
("Dave" "is" "quiet" "-")
Harry is white.
Unknown
rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "white" "+")
Dave is not smart.
Unknown
inv-rconc
[@4: Dave is smart.[CWA. Example of deepest failure = (rule6 <- rule3 <- rule7 <- rule1 <- FAIL)]]
("Dave" "is" "smart" "-")
Dave is blue.
Unknown
rconc
[@4: Dave is blue.[CWA. Example of deepest failure = (rule2 <- rule3 <- rule7 <- rule1 <- FAIL)]]
("Dave" "is" "blue" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Dave is white.[(triple1)] Erin is round.[(triple2)] Fiona is blue.[(triple3 OR ((triple4 ((((triple4) -> rule6) triple5) -> rule4)) -> rule2) OR ((triple4 ((((triple5) -> rule8) triple5) -> rule4)) -> rule2) OR ((((triple5) -> rule3) ((((triple4) -> rule6) triple5) -> rule4)) -> rule2) OR ((((triple5) -> rule3) ((((triple5) -> rule8) triple5) -> rule4)) -> rule2) OR ((triple4 ((((((triple5) -> rule3)) -> rule6) triple5) -> rule4)) -> rule2) OR ((((triple5) -> rule3) ((((((triple5) -> rule3)) -> rule6) triple5) -> rule4)) -> rule2))] Fiona is cold.[(triple4 OR ((triple5) -> rule3) OR ((((triple3) -> rule7)) -> rule3))] Fiona is quiet.[(triple5 OR ((triple3) -> rule7))] Fiona is white.[(triple6 OR ((triple4) -> rule9) OR ((((triple5) -> rule3)) -> rule9) OR ((((((triple3) -> rule7)) -> rule3)) -> rule9))] Harry is quiet.[(triple7)] @1: Erin is white.[(((triple2) -> rule5))] Fiona is smart.[(((triple4) -> rule6) OR ((triple5) -> rule8) OR ((((triple3) -> rule7)) -> rule8) OR ((((triple5) -> rule3)) -> rule6) OR ((((((triple3) -> rule7)) -> rule3)) -> rule6))] Harry is cold.[(((triple7) -> rule3))] Harry is smart.[(((triple7) -> rule8) OR ((((triple7) -> rule3)) -> rule6))] @2: Erin is blue.[(((triple2 ((triple2) -> rule5)) -> rule1))] Fiona is young.[(((((triple4) -> rule6) triple5) -> rule4) OR ((((triple5) -> rule8) triple5) -> rule4) OR ((((triple4) -> rule6) ((triple3) -> rule7)) -> rule4) OR ((((triple5) -> rule8) ((triple3) -> rule7)) -> rule4) OR ((((((triple3) -> rule7)) -> rule8) triple5) -> rule4) OR ((((((triple5) -> rule3)) -> rule6) triple5) -> rule4) OR ((((((triple3) -> rule7)) -> rule8) ((triple3) -> rule7)) -> rule4) OR ((((((triple5) -> rule3)) -> rule6) ((triple3) -> rule7)) -> rule4) OR ((((((((triple3) -> rule7)) -> rule3)) -> rule6) triple5) -> rule4) OR ((((((((triple3) -> rule7)) -> rule3)) -> rule6) ((triple3) -> rule7)) -> rule4))] Harry is young.[(((((triple7) -> rule8) triple7) -> rule4) OR ((((((triple7) -> rule3)) -> rule6) triple7) -> rule4))] @3: Erin is quiet.[(((((triple2 ((triple2) -> rule5)) -> rule1)) -> rule7))] Harry is blue.[(((((triple7) -> rule3) ((((triple7) -> rule8) triple7) -> rule4)) -> rule2) OR ((((triple7) -> rule3) ((((((triple7) -> rule3)) -> rule6) triple7) -> rule4)) -> rule2))] @4: Erin is cold.[(((((((triple2 ((triple2) -> rule5)) -> rule1)) -> rule7)) -> rule3))] Erin is smart.[(((((((triple2 ((triple2) -> rule5)) -> rule1)) -> rule7)) -> rule8) OR ((((((((triple2 ((triple2) -> rule5)) -> rule1)) -> rule7)) -> rule3)) -> rule6))] @5: Erin is young.[(((((((((triple2 ((triple2) -> rule5)) -> rule1)) -> rule7)) -> rule8) ((((triple2 ((triple2) -> rule5)) -> rule1)) -> rule7)) -> rule4) OR ((((((((((triple2 ((triple2) -> rule5)) -> rule1)) -> rule7)) -> rule3)) -> rule6) ((((triple2 ((triple2) -> rule5)) -> rule1)) -> rule7)) -> rule4))]
Dave is white.
("Dave" "is" "white" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple3
((triple4 ((((triple4) -> (rule6 % int3)) triple5) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((triple4 ((((triple5) -> (rule8 % int3)) triple5) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((triple5) -> (rule3 % int4)) ((((triple4) -> (rule6 % int3)) triple5) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple5) -> (rule3 % int4)) ((((triple5) -> (rule8 % int3)) triple5) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((triple4 ((((((triple5) -> (rule3 % int4))) -> (rule6 % int3)) triple5) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple5) -> (rule3 % int4)) ((((((triple5) -> (rule3 % int4))) -> (rule6 % int3)) triple5) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
((triple5) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((((triple3) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
((triple3) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple6
((triple4) -> (rule9 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule9 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((((triple3) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
triple7
Erin is white.
("Erin" "is" "white" "+")
((triple2) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple4) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple5) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple3) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((((triple5) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((((triple3) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
((triple7) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple7) -> (rule8 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple7) -> (rule3 % int2))) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
((triple2 ((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
((((triple4) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple5) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple4) -> (rule6 % int3)) ((triple3) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((triple5) -> (rule8 % int3)) ((triple3) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple3) -> (rule7 % int3))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((((triple5) -> (rule3 % int3))) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((((triple3) -> (rule7 % int3))) -> (rule8 % int2)) ((triple3) -> (rule7 % int3))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((((triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((triple3) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((((triple3) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((((((triple3) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple3) -> (rule7 % int4))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
((((triple7) -> (rule8 % int2)) triple7) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((((triple7) -> (rule3 % int3))) -> (rule6 % int2)) triple7) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
((((triple2 ((triple2) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
((((triple7) -> (rule3 % int4)) ((((triple7) -> (rule8 % int3)) triple7) -> (rule4 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple7) -> (rule3 % int4)) ((((((triple7) -> (rule3 % int4))) -> (rule6 % int3)) triple7) -> (rule4 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
((((((triple2 ((triple2) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
((((((triple2 ((triple2) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((((triple2 ((triple2) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
((((((((triple2 ((triple2) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((((triple2 ((triple2) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((((((triple2 ((triple2) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple2 ((triple2) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is white.
("Erin" "is" "white" "+")
int6