Charlie is young. Dave is furry. Dave is green. Fiona is furry. Fiona is green. Fiona is smart. Fiona is white. Fiona is young. Harry is green. Harry is white. White, smart people are big. If Dave is green then Dave is furry. If Charlie is green and Charlie is white then Charlie is smart. If Fiona is big then Fiona is green. All furry, cold people are smart. All green people are white. All furry, white people are young. Furry, young people are cold. Green, big people are smart.
Charlie is young.
("Charlie" "is" "young" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is white.
("Harry" "is" "white" "+")
White, smart people are big.
((("someone" "is" "white" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
If Dave is green then Dave is furry.
((("Dave" "is" "green" "+")) -> ("Dave" "is" "furry" "+"))
If Charlie is green and Charlie is white then Charlie is smart.
((("Charlie" "is" "green" "+") ("Charlie" "is" "white" "+")) -> ("Charlie" "is" "smart" "+"))
If Fiona is big then Fiona is green.
((("Fiona" "is" "big" "+")) -> ("Fiona" "is" "green" "+"))
All furry, cold people are smart.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
All green people are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
All furry, white people are young.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
Furry, young people are cold.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Green, big people are smart.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
Dave is green.
True
1
proof
[(triple3)]
("Dave" "is" "green" "+")
triple3
Dave is not furry.
False
1
inv-proof
[(triple2 OR ((triple3) -> rule2))]
("Dave" "is" "furry" "-")
triple2
((triple3) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
True
2
proof
[(((triple3) -> rule6))]
("Dave" "is" "white" "+")
((triple3) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Fiona is not cold.
False
3
inv-proof
[(((triple4 triple8) -> rule8) OR ((triple4 ((triple4 triple7) -> rule7)) -> rule8) OR ((triple4 ((triple4 ((triple5) -> rule6)) -> rule7)) -> rule8))]
("Fiona" "is" "cold" "-")
((triple4 triple8) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple4 ((triple4 triple7) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((triple4 ((triple4 ((triple5) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Dave is young.
True
4
proof
[(((triple2 ((triple3) -> rule6)) -> rule7) OR ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7))]
("Dave" "is" "young" "+")
((triple2 ((triple3) -> (rule6 % int2))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple3) -> (rule2 % int3)) ((triple3) -> (rule6 % int2))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is not young.
False
4
inv-proof
[(((triple2 ((triple3) -> rule6)) -> rule7) OR ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7))]
("Dave" "is" "young" "-")
((triple2 ((triple3) -> (rule6 % int2))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple3) -> (rule2 % int3)) ((triple3) -> (rule6 % int2))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is cold.
True
6
proof
[(((triple2 ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8) OR ((triple2 ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8) OR ((((triple3) -> rule2) ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8) OR ((((triple3) -> rule2) ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8))]
("Dave" "is" "cold" "+")
((triple2 ((triple2 ((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((triple2 ((((triple3) -> (rule2 % int4)) ((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((triple3) -> (rule2 % int4)) ((triple2 ((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((triple3) -> (rule2 % int4)) ((((triple3) -> (rule2 % int4)) ((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is not cold.
False
6
inv-proof
[(((triple2 ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8) OR ((triple2 ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8) OR ((((triple3) -> rule2) ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8) OR ((((triple3) -> rule2) ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8))]
("Dave" "is" "cold" "-")
((triple2 ((triple2 ((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((triple2 ((((triple3) -> (rule2 % int4)) ((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((triple3) -> (rule2 % int4)) ((triple2 ((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((triple3) -> (rule2 % int4)) ((((triple3) -> (rule2 % int4)) ((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is smart.
True
8
proof
[(((triple2 ((triple2 ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5) OR ((triple2 ((triple2 ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5) OR ((triple2 ((((triple3) -> rule2) ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5) OR ((((triple3) -> rule2) ((triple2 ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5) OR ((triple2 ((((triple3) -> rule2) ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5) OR ((((triple3) -> rule2) ((triple2 ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5) OR ((((triple3) -> rule2) ((((triple3) -> rule2) ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5) OR ((((triple3) -> rule2) ((((triple3) -> rule2) ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5))]
("Dave" "is" "smart" "+")
((triple2 ((triple2 ((triple2 ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((triple2 ((triple2 ((((triple3) -> (rule2 % int5)) ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
((triple2 ((((triple3) -> (rule2 % int5)) ((triple2 ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
((((triple3) -> (rule2 % int5)) ((triple2 ((triple2 ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
((triple2 ((((triple3) -> (rule2 % int5)) ((((triple3) -> (rule2 % int5)) ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
((((triple3) -> (rule2 % int5)) ((triple2 ((((triple3) -> (rule2 % int5)) ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
((((triple3) -> (rule2 % int5)) ((((triple3) -> (rule2 % int5)) ((triple2 ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
((((triple3) -> (rule2 % int5)) ((((triple3) -> (rule2 % int5)) ((((triple3) -> (rule2 % int5)) ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is not smart.
False
8
inv-proof
[(((triple2 ((triple2 ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5) OR ((triple2 ((triple2 ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5) OR ((triple2 ((((triple3) -> rule2) ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5) OR ((((triple3) -> rule2) ((triple2 ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5) OR ((triple2 ((((triple3) -> rule2) ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5) OR ((((triple3) -> rule2) ((triple2 ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5) OR ((((triple3) -> rule2) ((((triple3) -> rule2) ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5) OR ((((triple3) -> rule2) ((((triple3) -> rule2) ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5))]
("Dave" "is" "smart" "-")
((triple2 ((triple2 ((triple2 ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((triple2 ((triple2 ((((triple3) -> (rule2 % int5)) ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
((triple2 ((((triple3) -> (rule2 % int5)) ((triple2 ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
((((triple3) -> (rule2 % int5)) ((triple2 ((triple2 ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
((triple2 ((((triple3) -> (rule2 % int5)) ((((triple3) -> (rule2 % int5)) ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
((((triple3) -> (rule2 % int5)) ((triple2 ((((triple3) -> (rule2 % int5)) ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
((((triple3) -> (rule2 % int5)) ((((triple3) -> (rule2 % int5)) ((triple2 ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
((((triple3) -> (rule2 % int5)) ((((triple3) -> (rule2 % int5)) ((((triple3) -> (rule2 % int5)) ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is big.
True
11
proof
[(((((triple3) -> rule6) ((triple2 ((triple2 ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((((triple3) -> rule6) ((triple2 ((triple2 ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((((triple3) -> rule6) ((triple2 ((((triple3) -> rule2) ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((((triple3) -> rule6) ((((triple3) -> rule2) ((triple2 ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((((triple3) -> rule6) ((triple2 ((((triple3) -> rule2) ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((((triple3) -> rule6) ((((triple3) -> rule2) ((triple2 ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((((triple3) -> rule6) ((((triple3) -> rule2) ((((triple3) -> rule2) ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((((triple3) -> rule6) ((((triple3) -> rule2) ((((triple3) -> rule2) ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1))]
("Dave" "is" "big" "+")
((((triple3) -> (rule6 % int5)) ((triple2 ((triple2 ((triple2 ((triple3) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((triple3) -> (rule6 % int6)) ((triple2 ((triple2 ((((triple3) -> (rule2 % int5)) ((triple3) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((triple3) -> (rule6 % int6)) ((triple2 ((((triple3) -> (rule2 % int5)) ((triple2 ((triple3) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((triple3) -> (rule6 % int6)) ((((triple3) -> (rule2 % int5)) ((triple2 ((triple2 ((triple3) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((triple3) -> (rule6 % int6)) ((triple2 ((((triple3) -> (rule2 % int5)) ((((triple3) -> (rule2 % int5)) ((triple3) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((triple3) -> (rule6 % int6)) ((((triple3) -> (rule2 % int5)) ((triple2 ((((triple3) -> (rule2 % int5)) ((triple3) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((triple3) -> (rule6 % int6)) ((((triple3) -> (rule2 % int5)) ((((triple3) -> (rule2 % int5)) ((triple2 ((triple3) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((triple3) -> (rule6 % int6)) ((((triple3) -> (rule2 % int5)) ((((triple3) -> (rule2 % int5)) ((((triple3) -> (rule2 % int5)) ((triple3) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
Dave is not big.
False
11
inv-proof
[(((((triple3) -> rule6) ((triple2 ((triple2 ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((((triple3) -> rule6) ((triple2 ((triple2 ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((((triple3) -> rule6) ((triple2 ((((triple3) -> rule2) ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((((triple3) -> rule6) ((((triple3) -> rule2) ((triple2 ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((((triple3) -> rule6) ((triple2 ((((triple3) -> rule2) ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((((triple3) -> rule6) ((((triple3) -> rule2) ((triple2 ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((((triple3) -> rule6) ((((triple3) -> rule2) ((((triple3) -> rule2) ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((((triple3) -> rule6) ((((triple3) -> rule2) ((((triple3) -> rule2) ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1))]
("Dave" "is" "big" "-")
((((triple3) -> (rule6 % int5)) ((triple2 ((triple2 ((triple2 ((triple3) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((triple3) -> (rule6 % int6)) ((triple2 ((triple2 ((((triple3) -> (rule2 % int5)) ((triple3) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((triple3) -> (rule6 % int6)) ((triple2 ((((triple3) -> (rule2 % int5)) ((triple2 ((triple3) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((triple3) -> (rule6 % int6)) ((((triple3) -> (rule2 % int5)) ((triple2 ((triple2 ((triple3) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((triple3) -> (rule6 % int6)) ((triple2 ((((triple3) -> (rule2 % int5)) ((((triple3) -> (rule2 % int5)) ((triple3) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((triple3) -> (rule6 % int6)) ((((triple3) -> (rule2 % int5)) ((triple2 ((((triple3) -> (rule2 % int5)) ((triple3) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((triple3) -> (rule6 % int6)) ((((triple3) -> (rule2 % int5)) ((((triple3) -> (rule2 % int5)) ((triple2 ((triple3) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((triple3) -> (rule6 % int6)) ((((triple3) -> (rule2 % int5)) ((((triple3) -> (rule2 % int5)) ((((triple3) -> (rule2 % int5)) ((triple3) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "young" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Harry" "is" "cold" "+")
Charlie is not white.
Unknown
inv-rconc
[@1: Charlie is white.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "white" "-")
Charlie is smart.
Unknown
rconc
[@1: Charlie is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "smart" "+")
Harry is not big.
Unknown
inv-rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Harry" "is" "big" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Charlie" "is" "cold" "+")
Charlie is not furry.
Unknown
inv-random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Charlie is young.[(triple1)] Dave is furry.[(triple2 OR ((triple3) -> rule2))] Dave is green.[(triple3)] Fiona is furry.[(triple4)] Fiona is green.[(triple5 OR ((((triple7 triple6) -> rule1)) -> rule4) OR ((((triple7 ((triple4 ((triple4 triple8) -> rule8)) -> rule5)) -> rule1)) -> rule4) OR ((((triple7 ((triple4 ((triple4 ((triple4 triple7) -> rule7)) -> rule8)) -> rule5)) -> rule1)) -> rule4))] Fiona is smart.[(triple6 OR ((triple4 ((triple4 triple8) -> rule8)) -> rule5) OR ((triple4 ((triple4 ((triple4 triple7) -> rule7)) -> rule8)) -> rule5) OR ((triple4 ((triple4 ((triple4 ((triple5) -> rule6)) -> rule7)) -> rule8)) -> rule5))] Fiona is white.[(triple7 OR ((triple5) -> rule6))] Fiona is young.[(triple8 OR ((triple4 triple7) -> rule7) OR ((triple4 ((triple5) -> rule6)) -> rule7))] Harry is green.[(triple9)] Harry is white.[(triple10 OR ((triple9) -> rule6))] @1: Dave is white.[(((triple3) -> rule6))] Fiona is big.[(((triple7 triple6) -> rule1) OR ((((triple5) -> rule6) triple6) -> rule1) OR ((triple7 ((triple4 ((triple4 triple8) -> rule8)) -> rule5)) -> rule1) OR ((((triple5) -> rule6) ((triple4 ((triple4 triple8) -> rule8)) -> rule5)) -> rule1) OR ((triple7 ((triple4 ((triple4 ((triple4 triple7) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((((triple5) -> rule6) ((triple4 ((triple4 ((triple4 triple7) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((triple7 ((triple4 ((triple4 ((triple4 ((triple5) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((((triple5) -> rule6) ((triple4 ((triple4 ((triple4 ((triple5) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1))] Fiona is cold.[(((triple4 triple8) -> rule8) OR ((triple4 ((triple4 triple7) -> rule7)) -> rule8) OR ((triple4 ((triple4 ((triple5) -> rule6)) -> rule7)) -> rule8))] @2: Dave is young.[(((triple2 ((triple3) -> rule6)) -> rule7) OR ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7))] @3: Dave is cold.[(((triple2 ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8) OR ((triple2 ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8) OR ((((triple3) -> rule2) ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8) OR ((((triple3) -> rule2) ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8))] @4: Dave is smart.[(((triple2 ((triple2 ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5) OR ((triple2 ((triple2 ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5) OR ((triple2 ((((triple3) -> rule2) ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5) OR ((((triple3) -> rule2) ((triple2 ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5) OR ((triple2 ((((triple3) -> rule2) ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5) OR ((((triple3) -> rule2) ((triple2 ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5) OR ((((triple3) -> rule2) ((((triple3) -> rule2) ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5) OR ((((triple3) -> rule2) ((((triple3) -> rule2) ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5))] @5: Dave is big.[(((((triple3) -> rule6) ((triple2 ((triple2 ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((((triple3) -> rule6) ((triple2 ((triple2 ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((((triple3) -> rule6) ((triple2 ((((triple3) -> rule2) ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((((triple3) -> rule6) ((((triple3) -> rule2) ((triple2 ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((((triple3) -> rule6) ((triple2 ((((triple3) -> rule2) ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((((triple3) -> rule6) ((((triple3) -> rule2) ((triple2 ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((((triple3) -> rule6) ((((triple3) -> rule2) ((((triple3) -> rule2) ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((((triple3) -> rule6) ((((triple3) -> rule2) ((((triple3) -> rule2) ((((triple3) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1))]
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
((triple3) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
((((triple7 triple6) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple7 ((triple4 ((triple4 triple8) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple7 ((triple4 ((triple4 ((triple4 triple7) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
((triple4 ((triple4 triple8) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((triple4 ((triple4 ((triple4 triple7) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((triple4 ((triple4 ((triple4 ((triple5) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
triple7
((triple5) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple8
((triple4 triple7) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple4 ((triple5) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
((triple9) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
((triple3) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple7 triple6) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((triple5) -> (rule6 % int2)) triple6) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((triple7 ((triple4 ((triple4 triple8) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple5) -> (rule6 % int4)) ((triple4 ((triple4 triple8) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((triple7 ((triple4 ((triple4 ((triple4 triple7) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((triple5) -> (rule6 % int5)) ((triple4 ((triple4 ((triple4 triple7) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((triple7 ((triple4 ((triple4 ((triple4 ((triple5) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((triple5) -> (rule6 % int5)) ((triple4 ((triple4 ((triple4 ((triple5) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple4 triple8) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple4 ((triple4 triple7) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((triple4 ((triple4 ((triple5) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
((triple2 ((triple3) -> (rule6 % int2))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple3) -> (rule2 % int3)) ((triple3) -> (rule6 % int2))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
((triple2 ((triple2 ((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((triple2 ((((triple3) -> (rule2 % int4)) ((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((triple3) -> (rule2 % int4)) ((triple2 ((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((triple3) -> (rule2 % int4)) ((((triple3) -> (rule2 % int4)) ((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
((triple2 ((triple2 ((triple2 ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((triple2 ((triple2 ((((triple3) -> (rule2 % int5)) ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
((triple2 ((((triple3) -> (rule2 % int5)) ((triple2 ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
((((triple3) -> (rule2 % int5)) ((triple2 ((triple2 ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
((triple2 ((((triple3) -> (rule2 % int5)) ((((triple3) -> (rule2 % int5)) ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
((((triple3) -> (rule2 % int5)) ((triple2 ((((triple3) -> (rule2 % int5)) ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
((((triple3) -> (rule2 % int5)) ((((triple3) -> (rule2 % int5)) ((triple2 ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
((((triple3) -> (rule2 % int5)) ((((triple3) -> (rule2 % int5)) ((((triple3) -> (rule2 % int5)) ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is big.
("Dave" "is" "big" "+")
((((triple3) -> (rule6 % int5)) ((triple2 ((triple2 ((triple2 ((triple3) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((triple3) -> (rule6 % int6)) ((triple2 ((triple2 ((((triple3) -> (rule2 % int5)) ((triple3) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((triple3) -> (rule6 % int6)) ((triple2 ((((triple3) -> (rule2 % int5)) ((triple2 ((triple3) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((triple3) -> (rule6 % int6)) ((((triple3) -> (rule2 % int5)) ((triple2 ((triple2 ((triple3) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((triple3) -> (rule6 % int6)) ((triple2 ((((triple3) -> (rule2 % int5)) ((((triple3) -> (rule2 % int5)) ((triple3) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((triple3) -> (rule6 % int6)) ((((triple3) -> (rule2 % int5)) ((triple2 ((((triple3) -> (rule2 % int5)) ((triple3) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((triple3) -> (rule6 % int6)) ((((triple3) -> (rule2 % int5)) ((((triple3) -> (rule2 % int5)) ((triple2 ((triple3) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((triple3) -> (rule6 % int6)) ((((triple3) -> (rule2 % int5)) ((((triple3) -> (rule2 % int5)) ((((triple3) -> (rule2 % int5)) ((triple3) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6