Bob is nice. Bob is white. Dave is smart. Dave is young. Fiona is blue. Gary is blue. Gary is nice. If something is young then it is cold. All young, smart things are white. Blue things are young. Quiet things are nice. If something is smart and quiet then it is young. If something is smart and cold then it is blue. If something is nice then it is smart. All young, blue things are quiet. Young things are quiet.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is white.
("Bob" "is" "white" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If something is young then it is cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
All young, smart things are white.
((("something" "is" "young" "+") ("something" "is" "smart" "+")) -> ("something" "is" "white" "+"))
Blue things are young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
Quiet things are nice.
((("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
If something is smart and quiet then it is young.
((("something" "is" "smart" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
If something is smart and cold then it is blue.
((("something" "is" "smart" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
If something is nice then it is smart.
((("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
All young, blue things are quiet.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
Young things are quiet.
((("something" "is" "young" "+")) -> ("something" "is" "quiet" "+"))
Gary is nice.
True
1
proof
[(triple7 OR ((((((triple6) -> rule3)) -> rule9)) -> rule4) OR ((((((triple6) -> rule3) triple6) -> rule8)) -> rule4))]
("Gary" "is" "nice" "+")
triple7
((((((triple6) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((((triple6) -> (rule3 % int3)) triple6) -> (rule8 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is not nice.
False
1
inv-proof
[(triple7 OR ((((((triple6) -> rule3)) -> rule9)) -> rule4) OR ((((((triple6) -> rule3) triple6) -> rule8)) -> rule4))]
("Gary" "is" "nice" "-")
triple7
((((((triple6) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((((triple6) -> (rule3 % int3)) triple6) -> (rule8 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is smart.
True
2
proof
[(((triple7) -> rule7) OR ((((((((triple6) -> rule3)) -> rule9)) -> rule4)) -> rule7) OR ((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4)) -> rule7))]
("Gary" "is" "smart" "+")
((triple7) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((((((((triple6) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((((triple6) -> (rule3 % int4)) triple6) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Dave is not quiet.
False
2
inv-proof
[(((triple4) -> rule9) OR ((triple4 ((triple3 ((triple4) -> rule1)) -> rule6)) -> rule8))]
("Dave" "is" "quiet" "-")
((triple4) -> (rule9 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((triple4 ((triple3 ((triple4) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Gary is white.
True
5
proof
[(((((triple6) -> rule3) ((triple7) -> rule7)) -> rule2) OR ((((triple6) -> rule3) ((((((((triple6) -> rule3)) -> rule9)) -> rule4)) -> rule7)) -> rule2) OR ((((triple6) -> rule3) ((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4)) -> rule7)) -> rule2))]
("Gary" "is" "white" "+")
((((triple6) -> (rule3 % int3)) ((triple7) -> (rule7 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((triple6) -> (rule3 % int5)) ((((((((triple6) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((triple6) -> (rule3 % int5)) ((((((((triple6) -> (rule3 % int5)) triple6) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Fiona is not quiet.
False
3
inv-proof
[(((((triple5) -> rule3)) -> rule9) OR ((((triple5) -> rule3) triple5) -> rule8))]
("Fiona" "is" "quiet" "-")
((((triple5) -> (rule3 % int2))) -> (rule9 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple5) -> (rule3 % int2)) triple5) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is nice.
True
4
proof
[(((((((triple5) -> rule3)) -> rule9)) -> rule4) OR ((((((triple5) -> rule3) triple5) -> rule8)) -> rule4))]
("Fiona" "is" "nice" "+")
((((((triple5) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((((triple5) -> (rule3 % int3)) triple5) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is not nice.
False
4
inv-proof
[(((((((triple5) -> rule3)) -> rule9)) -> rule4) OR ((((((triple5) -> rule3) triple5) -> rule8)) -> rule4))]
("Fiona" "is" "nice" "-")
((((((triple5) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((((triple5) -> (rule3 % int3)) triple5) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is smart.
True
5
proof
[(((((((((triple5) -> rule3)) -> rule9)) -> rule4)) -> rule7) OR ((((((((triple5) -> rule3) triple5) -> rule8)) -> rule4)) -> rule7))]
("Fiona" "is" "smart" "+")
((((((((triple5) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((((triple5) -> (rule3 % int4)) triple5) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is not smart.
False
5
inv-proof
[(((((((((triple5) -> rule3)) -> rule9)) -> rule4)) -> rule7) OR ((((((((triple5) -> rule3) triple5) -> rule8)) -> rule4)) -> rule7))]
("Fiona" "is" "smart" "-")
((((((((triple5) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((((triple5) -> (rule3 % int4)) triple5) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is white.
True
8
proof
[(((((triple5) -> rule3) ((((((((triple5) -> rule3)) -> rule9)) -> rule4)) -> rule7)) -> rule2) OR ((((triple5) -> rule3) ((((((((triple5) -> rule3) triple5) -> rule8)) -> rule4)) -> rule7)) -> rule2))]
("Fiona" "is" "white" "+")
((((triple5) -> (rule3 % int5)) ((((((((triple5) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((triple5) -> (rule3 % int5)) ((((((((triple5) -> (rule3 % int5)) triple5) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Fiona is not white.
False
8
inv-proof
[(((((triple5) -> rule3) ((((((((triple5) -> rule3)) -> rule9)) -> rule4)) -> rule7)) -> rule2) OR ((((triple5) -> rule3) ((((((((triple5) -> rule3) triple5) -> rule8)) -> rule4)) -> rule7)) -> rule2))]
("Fiona" "is" "white" "-")
((((triple5) -> (rule3 % int5)) ((((((((triple5) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((triple5) -> (rule3 % int5)) ((((((((triple5) -> (rule3 % int5)) triple5) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Bob is not quiet.
Unknown
inv-rconc
[@6: Bob is quiet.[CWA. Example of deepest failure = (rule8 <- rule3 <- rule6 <- rule1 <- rule5 <- rule9 <- FAIL)]]
("Bob" "is" "quiet" "-")
Bob is blue.
Unknown
rconc
[@5: Bob is blue.[CWA. Example of deepest failure = (rule6 <- rule1 <- rule5 <- rule9 <- rule3 <- FAIL)]]
("Bob" "is" "blue" "+")
Bob is not young.
Unknown
inv-rconc
[@5: Bob is young.[CWA. Example of deepest failure = (rule3 <- rule6 <- rule1 <- rule5 <- rule8 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is cold.
Unknown
rconc
[@5: Bob is cold.[CWA. Example of deepest failure = (rule1 <- rule5 <- rule9 <- rule3 <- rule6 <- FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is nice.[(triple1)] Bob is white.[(triple2)] Dave is smart.[(triple3 OR ((((((triple4) -> rule9)) -> rule4)) -> rule7))] Dave is young.[(triple4)] Fiona is blue.[(triple5)] Gary is blue.[(triple6)] Gary is nice.[(triple7 OR ((((((triple6) -> rule3)) -> rule9)) -> rule4) OR ((((((triple6) -> rule3) triple6) -> rule8)) -> rule4))] @1: Bob is smart.[(((triple1) -> rule7))] Dave is cold.[(((triple4) -> rule1))] Dave is quiet.[(((triple4) -> rule9) OR ((triple4 ((triple3 ((triple4) -> rule1)) -> rule6)) -> rule8))] Dave is white.[(((triple4 triple3) -> rule2) OR ((triple4 ((((((triple4) -> rule9)) -> rule4)) -> rule7)) -> rule2))] Fiona is young.[(((triple5) -> rule3))] Gary is smart.[(((triple7) -> rule7) OR ((((((((triple6) -> rule3)) -> rule9)) -> rule4)) -> rule7) OR ((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4)) -> rule7))] Gary is young.[(((triple6) -> rule3))] @2: Dave is blue.[(((triple3 ((triple4) -> rule1)) -> rule6) OR ((((((((triple4) -> rule9)) -> rule4)) -> rule7) ((triple4) -> rule1)) -> rule6))] Dave is nice.[(((((triple4) -> rule9)) -> rule4) OR ((((triple4 ((triple3 ((triple4) -> rule1)) -> rule6)) -> rule8)) -> rule4))] Fiona is cold.[(((((triple5) -> rule3)) -> rule1))] Fiona is quiet.[(((((triple5) -> rule3)) -> rule9) OR ((((triple5) -> rule3) triple5) -> rule8))] Gary is cold.[(((((triple6) -> rule3)) -> rule1))] Gary is quiet.[(((((triple6) -> rule3)) -> rule9) OR ((((triple6) -> rule3) triple6) -> rule8))] Gary is white.[(((((triple6) -> rule3) ((triple7) -> rule7)) -> rule2) OR ((((triple6) -> rule3) ((((((((triple6) -> rule3)) -> rule9)) -> rule4)) -> rule7)) -> rule2) OR ((((triple6) -> rule3) ((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4)) -> rule7)) -> rule2))] @3: Fiona is nice.[(((((((triple5) -> rule3)) -> rule9)) -> rule4) OR ((((((triple5) -> rule3) triple5) -> rule8)) -> rule4))] @4: Fiona is smart.[(((((((((triple5) -> rule3)) -> rule9)) -> rule4)) -> rule7) OR ((((((((triple5) -> rule3) triple5) -> rule8)) -> rule4)) -> rule7))] @5: Fiona is white.[(((((triple5) -> rule3) ((((((((triple5) -> rule3)) -> rule9)) -> rule4)) -> rule7)) -> rule2) OR ((((triple5) -> rule3) ((((((((triple5) -> rule3) triple5) -> rule8)) -> rule4)) -> rule7)) -> rule2))]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Dave is smart.
("Dave" "is" "smart" "+")
triple3
((((((triple4) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple7
((((((triple6) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((((triple6) -> (rule3 % int3)) triple6) -> (rule8 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
((triple1) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple4) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple4) -> (rule9 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((triple4 ((triple3 ((triple4) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
((triple4 triple3) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((triple4 ((((((triple4) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
((triple5) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple7) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((((((((triple6) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((((triple6) -> (rule3 % int4)) triple6) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
((triple6) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple3 ((triple4) -> (rule1 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((((((((triple4) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule7 % int3)) ((triple4) -> (rule1 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
Dave is nice.
("Dave" "is" "nice" "+")
((((triple4) -> (rule9 % int2))) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((triple4 ((triple3 ((triple4) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple5) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple5) -> (rule3 % int2))) -> (rule9 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple5) -> (rule3 % int2)) triple5) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((((triple6) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
((((triple6) -> (rule3 % int2))) -> (rule9 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple6) -> (rule3 % int2)) triple6) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
((((triple6) -> (rule3 % int3)) ((triple7) -> (rule7 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((triple6) -> (rule3 % int5)) ((((((((triple6) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((triple6) -> (rule3 % int5)) ((((((((triple6) -> (rule3 % int5)) triple6) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
((((((triple5) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((((triple5) -> (rule3 % int3)) triple5) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
((((((((triple5) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((((triple5) -> (rule3 % int4)) triple5) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
((((triple5) -> (rule3 % int5)) ((((((((triple5) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((triple5) -> (rule3 % int5)) ((((((((triple5) -> (rule3 % int5)) triple5) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5