Bob is big. Bob is cold. Bob is furry. Bob is kind. Bob is quiet. Bob is red. Charlie is big. Charlie is furry. Dave is quiet. Dave is red. Dave is young. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is quiet. Kind, cold people are young. Quiet people are cold. If Fiona is kind and Fiona is big then Fiona is quiet. All cold people are furry. If someone is cold and red then they are furry. Red people are big. If someone is cold and big then they are quiet. All young, furry people are red.
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Kind, cold people are young.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Quiet people are cold.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
If Fiona is kind and Fiona is big then Fiona is quiet.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "big" "+")) -> ("Fiona" "is" "quiet" "+"))
All cold people are furry.
((("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
If someone is cold and red then they are furry.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
Red people are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and big then they are quiet.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
All young, furry people are red.
((("someone" "is" "young" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
Fiona is furry.
True
1
proof
[(triple13 OR ((triple12) -> rule4) OR ((((triple15) -> rule2)) -> rule4))]
("Fiona" "is" "furry" "+")
triple13
((triple12) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple15) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Dave is not young.
False
1
inv-proof
[(triple11)]
("Dave" "is" "young" "-")
triple11
Charlie is not quiet.
Unknown
inv-rconc
[@2: Charlie is quiet.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Charlie" "is" "quiet" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Bob is big.[(triple1 OR ((triple6) -> rule6) OR ((((((triple4 triple2) -> rule1) triple3) -> rule8)) -> rule6) OR ((((((triple4 triple2) -> rule1) ((triple2) -> rule4)) -> rule8)) -> rule6) OR ((((((triple4 ((triple5) -> rule2)) -> rule1) triple3) -> rule8)) -> rule6) OR ((((((triple4 triple2) -> rule1) ((((triple5) -> rule2)) -> rule4)) -> rule8)) -> rule6) OR ((((((triple4 ((triple5) -> rule2)) -> rule1) ((triple2) -> rule4)) -> rule8)) -> rule6) OR ((((((triple4 ((triple5) -> rule2)) -> rule1) ((((triple5) -> rule2)) -> rule4)) -> rule8)) -> rule6))] Bob is cold.[(triple2 OR ((triple5) -> rule2))] Bob is furry.[(triple3 OR ((triple2) -> rule4) OR ((triple2 triple6) -> rule5) OR ((((triple5) -> rule2)) -> rule4) OR ((((triple5) -> rule2) triple6) -> rule5))] Bob is kind.[(triple4)] Bob is quiet.[(triple5 OR ((triple2 triple1) -> rule7) OR ((triple2 ((triple6) -> rule6)) -> rule7) OR ((triple2 ((((((triple4 triple2) -> rule1) triple3) -> rule8)) -> rule6)) -> rule7) OR ((triple2 ((((((triple4 triple2) -> rule1) ((triple2) -> rule4)) -> rule8)) -> rule6)) -> rule7))] Bob is red.[(triple6 OR ((((triple4 triple2) -> rule1) triple3) -> rule8) OR ((((triple4 triple2) -> rule1) ((triple2) -> rule4)) -> rule8) OR ((((triple4 ((triple5) -> rule2)) -> rule1) triple3) -> rule8) OR ((((triple4 triple2) -> rule1) ((((triple5) -> rule2)) -> rule4)) -> rule8) OR ((((triple4 ((triple5) -> rule2)) -> rule1) ((triple2) -> rule4)) -> rule8) OR ((((triple4 ((triple5) -> rule2)) -> rule1) ((((triple5) -> rule2)) -> rule4)) -> rule8))] Charlie is big.[(triple7)] Charlie is furry.[(triple8)] Dave is quiet.[(triple9)] Dave is red.[(triple10 OR ((triple11 ((((triple9) -> rule2)) -> rule4)) -> rule8))] Dave is young.[(triple11)] Fiona is cold.[(triple12 OR ((triple15) -> rule2))] Fiona is furry.[(triple13 OR ((triple12) -> rule4) OR ((((triple15) -> rule2)) -> rule4))] Fiona is kind.[(triple14)] Fiona is quiet.[(triple15 OR ((triple12 ((((((triple14 triple12) -> rule1) triple13) -> rule8)) -> rule6)) -> rule7) OR ((triple14 ((((((triple14 triple12) -> rule1) triple13) -> rule8)) -> rule6)) -> rule3) OR ((triple12 ((((((triple14 triple12) -> rule1) ((triple12) -> rule4)) -> rule8)) -> rule6)) -> rule7) OR ((triple14 ((((((triple14 triple12) -> rule1) ((triple12) -> rule4)) -> rule8)) -> rule6)) -> rule3))] @1: Bob is young.[(((triple4 triple2) -> rule1) OR ((triple4 ((triple5) -> rule2)) -> rule1))] Dave is big.[(((triple10) -> rule6) OR ((((triple11 ((((triple9) -> rule2)) -> rule4)) -> rule8)) -> rule6))] Dave is cold.[(((triple9) -> rule2))] Fiona is young.[(((triple14 triple12) -> rule1) OR ((triple14 ((triple15) -> rule2)) -> rule1))] @2: Dave is furry.[(((((triple9) -> rule2)) -> rule4) OR ((((triple9) -> rule2) triple10) -> rule5))] Fiona is red.[(((((triple14 triple12) -> rule1) triple13) -> rule8) OR ((((triple14 triple12) -> rule1) ((triple12) -> rule4)) -> rule8) OR ((((triple14 ((triple15) -> rule2)) -> rule1) triple13) -> rule8) OR ((((triple14 triple12) -> rule1) ((((triple15) -> rule2)) -> rule4)) -> rule8) OR ((((triple14 ((triple15) -> rule2)) -> rule1) ((triple12) -> rule4)) -> rule8) OR ((((triple14 ((triple15) -> rule2)) -> rule1) ((((triple15) -> rule2)) -> rule4)) -> rule8))] @3: Fiona is big.[(((((((triple14 triple12) -> rule1) triple13) -> rule8)) -> rule6) OR ((((((triple14 triple12) -> rule1) ((triple12) -> rule4)) -> rule8)) -> rule6) OR ((((((triple14 ((triple15) -> rule2)) -> rule1) triple13) -> rule8)) -> rule6) OR ((((((triple14 triple12) -> rule1) ((((triple15) -> rule2)) -> rule4)) -> rule8)) -> rule6) OR ((((((triple14 ((triple15) -> rule2)) -> rule1) ((triple12) -> rule4)) -> rule8)) -> rule6) OR ((((((triple14 ((triple15) -> rule2)) -> rule1) ((((triple15) -> rule2)) -> rule4)) -> rule8)) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple6) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((((triple4 triple2) -> (rule1 % int3)) triple3) -> (rule8 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple4 triple2) -> (rule1 % int4)) ((triple2) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple4 ((triple5) -> (rule2 % int4))) -> (rule1 % int3)) triple3) -> (rule8 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple4 triple2) -> (rule1 % int5)) ((((triple5) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple4 ((triple5) -> (rule2 % int5))) -> (rule1 % int4)) ((triple2) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((triple4 ((triple5) -> (rule2 % int5))) -> (rule1 % int4)) ((((triple5) -> (rule2 % int5))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
triple2
((triple5) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
triple3
((triple2) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple2 triple6) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple5) -> (rule2 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple5) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
((triple2 triple1) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple2 ((triple6) -> (rule6 % int2))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((triple2 ((((((triple4 triple2) -> (rule1 % int4)) triple3) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((triple2 ((((((triple4 triple2) -> (rule1 % int5)) ((triple2) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
triple6
((((triple4 triple2) -> (rule1 % int2)) triple3) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple4 triple2) -> (rule1 % int3)) ((triple2) -> (rule4 % int2))) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple4 ((triple5) -> (rule2 % int3))) -> (rule1 % int2)) triple3) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple4 triple2) -> (rule1 % int4)) ((((triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple4 ((triple5) -> (rule2 % int4))) -> (rule1 % int3)) ((triple2) -> (rule4 % int2))) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple4 ((triple5) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple5) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is furry.
("Charlie" "is" "furry" "+")
triple8
Dave is quiet.
("Dave" "is" "quiet" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
triple10
((triple11 ((((triple9) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
triple11
Fiona is cold.
("Fiona" "is" "cold" "+")
triple12
((triple15) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple13
((triple12) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple15) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple14
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple15
((triple12 ((((((triple14 triple12) -> (rule1 % int4)) triple13) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((triple14 ((((((triple14 triple12) -> (rule1 % int4)) triple13) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((triple12 ((((((triple14 triple12) -> (rule1 % int5)) ((triple12) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((triple14 ((((((triple14 triple12) -> (rule1 % int5)) ((triple12) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
((triple4 triple2) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple4 ((triple5) -> (rule2 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
((triple10) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((triple11 ((((triple9) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
((triple9) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple14 triple12) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple14 ((triple15) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
((((triple9) -> (rule2 % int2))) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((((triple9) -> (rule2 % int2)) triple10) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((((triple14 triple12) -> (rule1 % int2)) triple13) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple14 triple12) -> (rule1 % int3)) ((triple12) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((triple14 ((triple15) -> (rule2 % int3))) -> (rule1 % int2)) triple13) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple14 triple12) -> (rule1 % int4)) ((((triple15) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((triple14 ((triple15) -> (rule2 % int4))) -> (rule1 % int3)) ((triple12) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple14 ((triple15) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple15) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
((((((triple14 triple12) -> (rule1 % int3)) triple13) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((((triple14 triple12) -> (rule1 % int4)) ((triple12) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple14 ((triple15) -> (rule2 % int4))) -> (rule1 % int3)) triple13) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((triple14 triple12) -> (rule1 % int5)) ((((triple15) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple14 ((triple15) -> (rule2 % int5))) -> (rule1 % int4)) ((triple12) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((((triple14 ((triple15) -> (rule2 % int5))) -> (rule1 % int4)) ((((triple15) -> (rule2 % int5))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5