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