Dave is cold. Dave is kind. Dave is round. Dave is white. Dave is young. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is round. Fiona is smart. Fiona is white. Fiona is young. Gary is smart. Gary is young. Harry is furry. Harry is round. If someone is kind and young then they are smart. If someone is smart then they are round. Young, furry people are kind. All furry people are white. Cold, furry people are white. If Harry is white and Harry is kind then Harry is young. If someone is cold then they are young. All white people are furry. Round, white people are cold.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
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 round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is round.
("Harry" "is" "round" "+")
If someone is kind and young then they are smart.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
If someone is smart then they are round.
((("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
Young, furry people are kind.
((("someone" "is" "young" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
All furry people are white.
((("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
Cold, furry people are white.
((("someone" "is" "cold" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
If Harry is white and Harry is kind then Harry is young.
((("Harry" "is" "white" "+") ("Harry" "is" "kind" "+")) -> ("Harry" "is" "young" "+"))
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
All white people are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
Round, white people are cold.
((("someone" "is" "round" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
Gary is smart.
True
1
proof
[(triple13)]
("Gary" "is" "smart" "+")
triple13
Gary is not young.
False
1
inv-proof
[(triple14)]
("Gary" "is" "young" "-")
triple14
Dave is furry.
True
2
proof
[(((triple4) -> rule8))]
("Dave" "is" "furry" "+")
((triple4) -> (rule8 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Harry is not white.
False
2
inv-proof
[(((triple15) -> rule4))]
("Harry" "is" "white" "-")
((triple15) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is cold.
True
4
proof
[(((triple16 ((triple15) -> rule4)) -> rule9))]
("Harry" "is" "cold" "+")
((triple16 ((triple15) -> (rule4 % int2))) -> (rule9 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is not cold.
False
4
inv-proof
[(((triple16 ((triple15) -> rule4)) -> rule9))]
("Harry" "is" "cold" "-")
((triple16 ((triple15) -> (rule4 % int2))) -> (rule9 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
True
5
proof
[(((((triple16 ((triple15) -> rule4)) -> rule9)) -> rule7))]
("Harry" "is" "young" "+")
((((triple16 ((triple15) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is not young.
False
5
inv-proof
[(((((triple16 ((triple15) -> rule4)) -> rule9)) -> rule7))]
("Harry" "is" "young" "-")
((((triple16 ((triple15) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is kind.
True
7
proof
[(((((((triple16 ((triple15) -> rule4)) -> rule9)) -> rule7) triple15) -> rule3))]
("Harry" "is" "kind" "+")
((((((triple16 ((triple15) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule7 % int2)) triple15) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is not kind.
False
7
inv-proof
[(((((((triple16 ((triple15) -> rule4)) -> rule9)) -> rule7) triple15) -> rule3))]
("Harry" "is" "kind" "-")
((((((triple16 ((triple15) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule7 % int2)) triple15) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is smart.
True
13
proof
[(((((((((triple16 ((triple15) -> rule4)) -> rule9)) -> rule7) triple15) -> rule3) ((((triple16 ((triple15) -> rule4)) -> rule9)) -> rule7)) -> rule1))]
("Harry" "is" "smart" "+")
((((((((triple16 ((triple15) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule7 % int3)) triple15) -> (rule3 % int2)) ((((triple16 ((triple15) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
Harry is not smart.
False
13
inv-proof
[(((((((((triple16 ((triple15) -> rule4)) -> rule9)) -> rule7) triple15) -> rule3) ((((triple16 ((triple15) -> rule4)) -> rule9)) -> rule7)) -> rule1))]
("Harry" "is" "smart" "-")
((((((((triple16 ((triple15) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule7 % int3)) triple15) -> (rule3 % int2)) ((((triple16 ((triple15) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
Gary is not furry.
Unknown
inv-rconc
[@2: Gary is furry.[CWA. Example of deepest failure = (rule8 <- rule4 <- FAIL)]]
("Gary" "is" "furry" "-")
Gary is cold.
Unknown
rconc
[@4: Gary is cold.[CWA. Example of deepest failure = (rule9 <- rule4 <- rule8 <- rule5 <- FAIL)]]
("Gary" "is" "cold" "+")
Gary is not kind.
Unknown
inv-rconc
[@3: Gary is kind.[CWA. Example of deepest failure = (rule3 <- rule8 <- rule4 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is white.
Unknown
rconc
[@3: Gary is white.[CWA. Example of deepest failure = (rule4 <- rule8 <- rule5 <- FAIL)]]
("Gary" "is" "white" "+")
@0: Dave is cold.[(triple1 OR ((triple3 triple4) -> rule9) OR ((((((triple2 triple5) -> rule1)) -> rule2) triple4) -> rule9) OR ((((((((triple5 ((triple4) -> rule8)) -> rule3) triple5) -> rule1)) -> rule2) triple4) -> rule9))] Dave is kind.[(triple2 OR ((triple5 ((triple4) -> rule8)) -> rule3) OR ((((triple1) -> rule7) ((triple4) -> rule8)) -> rule3) OR ((((((triple3 triple4) -> rule9)) -> rule7) ((triple4) -> rule8)) -> rule3))] Dave is round.[(triple3 OR ((((triple2 triple5) -> rule1)) -> rule2) OR ((((triple2 ((triple1) -> rule7)) -> rule1)) -> rule2) OR ((((((triple5 ((triple4) -> rule8)) -> rule3) triple5) -> rule1)) -> rule2) OR ((((((triple5 ((triple4) -> rule8)) -> rule3) ((triple1) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple1) -> rule7) ((triple4) -> rule8)) -> rule3) triple5) -> rule1)) -> rule2) OR ((((((((triple1) -> rule7) ((triple4) -> rule8)) -> rule3) ((triple1) -> rule7)) -> rule1)) -> rule2))] Dave is white.[(triple4)] Dave is young.[(triple5 OR ((triple1) -> rule7) OR ((((triple3 triple4) -> rule9)) -> rule7))] Fiona is cold.[(triple6 OR ((triple9 triple11) -> rule9) OR ((triple9 ((triple7) -> rule4)) -> rule9) OR ((((triple10) -> rule2) triple11) -> rule9) OR ((((triple10) -> rule2) ((triple7) -> rule4)) -> rule9) OR ((((((triple8 triple12) -> rule1)) -> rule2) triple11) -> rule9) OR ((((((triple8 triple12) -> rule1)) -> rule2) ((triple7) -> rule4)) -> rule9) OR ((((((((triple12 triple7) -> rule3) triple12) -> rule1)) -> rule2) triple11) -> rule9) OR ((((((((triple12 triple7) -> rule3) triple12) -> rule1)) -> rule2) ((triple7) -> rule4)) -> rule9) OR ((((((((triple12 ((triple11) -> rule8)) -> rule3) triple12) -> rule1)) -> rule2) triple11) -> rule9) OR ((((((((triple12 ((triple11) -> rule8)) -> rule3) triple12) -> rule1)) -> rule2) ((triple7) -> rule4)) -> rule9))] Fiona is furry.[(triple7 OR ((triple11) -> rule8))] Fiona is kind.[(triple8 OR ((triple12 triple7) -> rule3) OR ((triple12 ((triple11) -> rule8)) -> rule3) OR ((((triple6) -> rule7) triple7) -> rule3) OR ((((triple6) -> rule7) ((triple11) -> rule8)) -> rule3) OR ((((((triple9 triple11) -> rule9)) -> rule7) triple7) -> rule3) OR ((((((triple9 triple11) -> rule9)) -> rule7) ((triple11) -> rule8)) -> rule3) OR ((((((triple9 ((triple7) -> rule4)) -> rule9)) -> rule7) triple7) -> rule3) OR ((((((((triple10) -> rule2) triple11) -> rule9)) -> rule7) triple7) -> rule3) OR ((((((triple9 ((triple7) -> rule4)) -> rule9)) -> rule7) ((triple11) -> rule8)) -> rule3) OR ((((((((triple10) -> rule2) triple11) -> rule9)) -> rule7) ((triple11) -> rule8)) -> rule3) OR ((((((((triple10) -> rule2) ((triple7) -> rule4)) -> rule9)) -> rule7) triple7) -> rule3) OR ((((((((triple10) -> rule2) ((triple7) -> rule4)) -> rule9)) -> rule7) ((triple11) -> rule8)) -> rule3))] Fiona is round.[(triple9 OR ((triple10) -> rule2) OR ((((triple8 triple12) -> rule1)) -> rule2) OR ((((triple8 ((triple6) -> rule7)) -> rule1)) -> rule2) OR ((((((triple12 triple7) -> rule3) triple12) -> rule1)) -> rule2) OR ((((((triple12 triple7) -> rule3) ((triple6) -> rule7)) -> rule1)) -> rule2) OR ((((((triple12 ((triple11) -> rule8)) -> rule3) triple12) -> rule1)) -> rule2) OR ((((((((triple6) -> rule7) triple7) -> rule3) triple12) -> rule1)) -> rule2) OR ((((((triple12 ((triple11) -> rule8)) -> rule3) ((triple6) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple6) -> rule7) triple7) -> rule3) ((triple6) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple6) -> rule7) ((triple11) -> rule8)) -> rule3) triple12) -> rule1)) -> rule2) OR ((((((((triple6) -> rule7) ((triple11) -> rule8)) -> rule3) ((triple6) -> rule7)) -> rule1)) -> rule2))] Fiona is smart.[(triple10 OR ((triple8 triple12) -> rule1) OR ((triple8 ((triple6) -> rule7)) -> rule1) OR ((((triple12 triple7) -> rule3) triple12) -> rule1) OR ((((triple12 triple7) -> rule3) ((triple6) -> rule7)) -> rule1) OR ((triple8 ((((triple9 triple11) -> rule9)) -> rule7)) -> rule1) OR ((((triple12 ((triple11) -> rule8)) -> rule3) triple12) -> rule1) OR ((((((triple6) -> rule7) triple7) -> rule3) triple12) -> rule1) OR ((((triple12 triple7) -> rule3) ((((triple9 triple11) -> rule9)) -> rule7)) -> rule1) OR ((((triple12 ((triple11) -> rule8)) -> rule3) ((triple6) -> rule7)) -> rule1) OR ((((((triple6) -> rule7) triple7) -> rule3) ((triple6) -> rule7)) -> rule1) OR ((((((triple6) -> rule7) ((triple11) -> rule8)) -> rule3) triple12) -> rule1) OR ((((triple12 ((triple11) -> rule8)) -> rule3) ((((triple9 triple11) -> rule9)) -> rule7)) -> rule1) OR ((((((triple6) -> rule7) triple7) -> rule3) ((((triple9 triple11) -> rule9)) -> rule7)) -> rule1) OR ((((((triple6) -> rule7) ((triple11) -> rule8)) -> rule3) ((triple6) -> rule7)) -> rule1) OR ((((((triple6) -> rule7) ((triple11) -> rule8)) -> rule3) ((((triple9 triple11) -> rule9)) -> rule7)) -> rule1) OR ((triple8 ((((triple9 ((triple7) -> rule4)) -> rule9)) -> rule7)) -> rule1) OR ((((((((triple9 triple11) -> rule9)) -> rule7) triple7) -> rule3) triple12) -> rule1) OR ((((triple12 triple7) -> rule3) ((((triple9 ((triple7) -> rule4)) -> rule9)) -> rule7)) -> rule1) OR ((((((((triple9 triple11) -> rule9)) -> rule7) triple7) -> rule3) ((triple6) -> rule7)) -> rule1) OR ((((((((triple9 triple11) -> rule9)) -> rule7) ((triple11) -> rule8)) -> rule3) triple12) -> rule1) OR ((((triple12 ((triple11) -> rule8)) -> rule3) ((((triple9 ((triple7) -> rule4)) -> rule9)) -> rule7)) -> rule1) OR ((((((triple6) -> rule7) triple7) -> rule3) ((((triple9 ((triple7) -> rule4)) -> rule9)) -> rule7)) -> rule1) OR ((((((((triple9 triple11) -> rule9)) -> rule7) triple7) -> rule3) ((((triple9 triple11) -> rule9)) -> rule7)) -> rule1) OR ((((((((triple9 triple11) -> rule9)) -> rule7) ((triple11) -> rule8)) -> rule3) ((triple6) -> rule7)) -> rule1) OR ((((((triple6) -> rule7) ((triple11) -> rule8)) -> rule3) ((((triple9 ((triple7) -> rule4)) -> rule9)) -> rule7)) -> rule1) OR ((((((((triple9 triple11) -> rule9)) -> rule7) triple7) -> rule3) ((((triple9 ((triple7) -> rule4)) -> rule9)) -> rule7)) -> rule1) OR ((((((((triple9 triple11) -> rule9)) -> rule7) ((triple11) -> rule8)) -> rule3) ((((triple9 triple11) -> rule9)) -> rule7)) -> rule1) OR ((((((((triple9 triple11) -> rule9)) -> rule7) ((triple11) -> rule8)) -> rule3) ((((triple9 ((triple7) -> rule4)) -> rule9)) -> rule7)) -> rule1) OR ((((((((triple9 ((triple7) -> rule4)) -> rule9)) -> rule7) triple7) -> rule3) triple12) -> rule1) OR ((((((((triple9 ((triple7) -> rule4)) -> rule9)) -> rule7) triple7) -> rule3) ((triple6) -> rule7)) -> rule1) OR ((((((((triple9 ((triple7) -> rule4)) -> rule9)) -> rule7) ((triple11) -> rule8)) -> rule3) triple12) -> rule1) OR ((((((((triple9 ((triple7) -> rule4)) -> rule9)) -> rule7) triple7) -> rule3) ((((triple9 triple11) -> rule9)) -> rule7)) -> rule1) OR ((((((((triple9 ((triple7) -> rule4)) -> rule9)) -> rule7) ((triple11) -> rule8)) -> rule3) ((triple6) -> rule7)) -> rule1) OR ((((((((triple9 ((triple7) -> rule4)) -> rule9)) -> rule7) triple7) -> rule3) ((((triple9 ((triple7) -> rule4)) -> rule9)) -> rule7)) -> rule1) OR ((((((((triple9 ((triple7) -> rule4)) -> rule9)) -> rule7) ((triple11) -> rule8)) -> rule3) ((((triple9 triple11) -> rule9)) -> rule7)) -> rule1) OR ((((((((triple9 ((triple7) -> rule4)) -> rule9)) -> rule7) ((triple11) -> rule8)) -> rule3) ((((triple9 ((triple7) -> rule4)) -> rule9)) -> rule7)) -> rule1))] Fiona is white.[(triple11 OR ((triple7) -> rule4) OR ((triple6 triple7) -> rule5))] Fiona is young.[(triple12 OR ((triple6) -> rule7) OR ((((triple9 triple11) -> rule9)) -> rule7) OR ((((triple9 ((triple7) -> rule4)) -> rule9)) -> rule7) OR ((((((triple10) -> rule2) triple11) -> rule9)) -> rule7) OR ((((((triple10) -> rule2) ((triple7) -> rule4)) -> rule9)) -> rule7))] Gary is smart.[(triple13)] Gary is young.[(triple14)] Harry is furry.[(triple15)] Harry is round.[(triple16)] @1: Dave is furry.[(((triple4) -> rule8))] Dave is smart.[(((triple2 triple5) -> rule1) OR ((triple2 ((triple1) -> rule7)) -> rule1) OR ((triple2 ((((triple3 triple4) -> rule9)) -> rule7)) -> rule1) OR ((((triple5 ((triple4) -> rule8)) -> rule3) triple5) -> rule1) OR ((((triple5 ((triple4) -> rule8)) -> rule3) ((triple1) -> rule7)) -> rule1) OR ((((((triple1) -> rule7) ((triple4) -> rule8)) -> rule3) triple5) -> rule1) OR ((((triple5 ((triple4) -> rule8)) -> rule3) ((((triple3 triple4) -> rule9)) -> rule7)) -> rule1) OR ((((((triple1) -> rule7) ((triple4) -> rule8)) -> rule3) ((triple1) -> rule7)) -> rule1) OR ((((((triple1) -> rule7) ((triple4) -> rule8)) -> rule3) ((((triple3 triple4) -> rule9)) -> rule7)) -> rule1) OR ((((((((triple3 triple4) -> rule9)) -> rule7) ((triple4) -> rule8)) -> rule3) triple5) -> rule1) OR ((((((((triple3 triple4) -> rule9)) -> rule7) ((triple4) -> rule8)) -> rule3) ((triple1) -> rule7)) -> rule1) OR ((((((((triple3 triple4) -> rule9)) -> rule7) ((triple4) -> rule8)) -> rule3) ((((triple3 triple4) -> rule9)) -> rule7)) -> rule1))] Gary is round.[(((triple13) -> rule2))] Harry is white.[(((triple15) -> rule4))] @2: Harry is cold.[(((triple16 ((triple15) -> rule4)) -> rule9))] @3: Harry is young.[(((((triple16 ((triple15) -> rule4)) -> rule9)) -> rule7))] @4: Harry is kind.[(((((((triple16 ((triple15) -> rule4)) -> rule9)) -> rule7) triple15) -> rule3))] @5: Harry is smart.[(((((((((triple16 ((triple15) -> rule4)) -> rule9)) -> rule7) triple15) -> rule3) ((((triple16 ((triple15) -> rule4)) -> rule9)) -> rule7)) -> rule1))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
((triple3 triple4) -> (rule9 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((((((triple2 triple5) -> (rule1 % int3))) -> (rule2 % int2)) triple4) -> (rule9 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((((triple5 ((triple4) -> (rule8 % int5))) -> (rule3 % int4)) triple5) -> (rule1 % int3))) -> (rule2 % int2)) triple4) -> (rule9 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
triple2
((triple5 ((triple4) -> (rule8 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((triple1) -> (rule7 % int3)) ((triple4) -> (rule8 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((triple3 triple4) -> (rule9 % int4))) -> (rule7 % int3)) ((triple4) -> (rule8 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
triple3
((((triple2 triple5) -> (rule1 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple2 ((triple1) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((triple5 ((triple4) -> (rule8 % int4))) -> (rule3 % int3)) triple5) -> (rule1 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((((triple5 ((triple4) -> (rule8 % int5))) -> (rule3 % int4)) ((triple1) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
((((((((triple1) -> (rule7 % int5)) ((triple4) -> (rule8 % int4))) -> (rule3 % int3)) triple5) -> (rule1 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((((triple1) -> (rule7 % int5)) ((triple4) -> (rule8 % int4))) -> (rule3 % int3)) ((triple1) -> (rule7 % int5))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple5
((triple1) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((triple3 triple4) -> (rule9 % int2))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
((triple9 triple11) -> (rule9 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple9 ((triple7) -> (rule4 % int2))) -> (rule9 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((triple10) -> (rule2 % int2)) triple11) -> (rule9 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple10) -> (rule2 % int3)) ((triple7) -> (rule4 % int2))) -> (rule9 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple8 triple12) -> (rule1 % int3))) -> (rule2 % int2)) triple11) -> (rule9 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple8 triple12) -> (rule1 % int4))) -> (rule2 % int3)) ((triple7) -> (rule4 % int2))) -> (rule9 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((((triple12 triple7) -> (rule3 % int4)) triple12) -> (rule1 % int3))) -> (rule2 % int2)) triple11) -> (rule9 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((((triple12 triple7) -> (rule3 % int5)) triple12) -> (rule1 % int4))) -> (rule2 % int3)) ((triple7) -> (rule4 % int2))) -> (rule9 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((((((triple12 ((triple11) -> (rule8 % int5))) -> (rule3 % int4)) triple12) -> (rule1 % int3))) -> (rule2 % int2)) triple11) -> (rule9 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((((((triple12 ((triple11) -> (rule8 % int6))) -> (rule3 % int5)) triple12) -> (rule1 % int4))) -> (rule2 % int3)) ((triple7) -> (rule4 % int2))) -> (rule9 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Fiona is furry.
("Fiona" "is" "furry" "+")
int6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
((triple11) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
((triple12 triple7) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple12 ((triple11) -> (rule8 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple6) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple6) -> (rule7 % int3)) ((triple11) -> (rule8 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((((triple9 triple11) -> (rule9 % int3))) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((((triple9 triple11) -> (rule9 % int4))) -> (rule7 % int3)) ((triple11) -> (rule8 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((triple9 ((triple7) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((((((triple10) -> (rule2 % int4)) triple11) -> (rule9 % int3))) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((triple9 ((triple7) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule7 % int3)) ((triple11) -> (rule8 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((((((triple10) -> (rule2 % int5)) triple11) -> (rule9 % int4))) -> (rule7 % int3)) ((triple11) -> (rule8 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((triple10) -> (rule2 % int5)) ((triple7) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((triple10) -> (rule2 % int6)) ((triple7) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule7 % int3)) ((triple11) -> (rule8 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
Fiona is round.
("Fiona" "is" "round" "+")
triple9
((triple10) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple8 triple12) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple8 ((triple6) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((((triple12 triple7) -> (rule3 % int3)) triple12) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((((triple12 triple7) -> (rule3 % int4)) ((triple6) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((triple12 ((triple11) -> (rule8 % int4))) -> (rule3 % int3)) triple12) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((((triple6) -> (rule7 % int4)) triple7) -> (rule3 % int3)) triple12) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple12 ((triple11) -> (rule8 % int5))) -> (rule3 % int4)) ((triple6) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((((((triple6) -> (rule7 % int4)) triple7) -> (rule3 % int3)) ((triple6) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((((triple6) -> (rule7 % int5)) ((triple11) -> (rule8 % int4))) -> (rule3 % int3)) triple12) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((((triple6) -> (rule7 % int5)) ((triple11) -> (rule8 % int4))) -> (rule3 % int3)) ((triple6) -> (rule7 % int5))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
((triple8 triple12) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple8 ((triple6) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple12 triple7) -> (rule3 % int2)) triple12) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple12 triple7) -> (rule3 % int3)) ((triple6) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((triple8 ((((triple9 triple11) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple12 ((triple11) -> (rule8 % int3))) -> (rule3 % int2)) triple12) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((triple6) -> (rule7 % int3)) triple7) -> (rule3 % int2)) triple12) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((triple12 triple7) -> (rule3 % int4)) ((((triple9 triple11) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((triple12 ((triple11) -> (rule8 % int4))) -> (rule3 % int3)) ((triple6) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((triple6) -> (rule7 % int3)) triple7) -> (rule3 % int2)) ((triple6) -> (rule7 % int3))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((((triple6) -> (rule7 % int4)) ((triple11) -> (rule8 % int3))) -> (rule3 % int2)) triple12) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((triple12 ((triple11) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple9 triple11) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((((triple6) -> (rule7 % int4)) triple7) -> (rule3 % int3)) ((((triple9 triple11) -> (rule9 % int2))) -> (rule7 % int4))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple6) -> (rule7 % int4)) ((triple11) -> (rule8 % int3))) -> (rule3 % int2)) ((triple6) -> (rule7 % int4))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple6) -> (rule7 % int5)) ((triple11) -> (rule8 % int4))) -> (rule3 % int3)) ((((triple9 triple11) -> (rule9 % int2))) -> (rule7 % int5))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((triple8 ((((triple9 ((triple7) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((((((triple9 triple11) -> (rule9 % int4))) -> (rule7 % int3)) triple7) -> (rule3 % int2)) triple12) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple12 triple7) -> (rule3 % int5)) ((((triple9 ((triple7) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((((((triple9 triple11) -> (rule9 % int4))) -> (rule7 % int3)) triple7) -> (rule3 % int2)) ((triple6) -> (rule7 % int3))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((((triple9 triple11) -> (rule9 % int5))) -> (rule7 % int4)) ((triple11) -> (rule8 % int3))) -> (rule3 % int2)) triple12) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple12 ((triple11) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple9 ((triple7) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Fiona is furry.
("Fiona" "is" "furry" "+")
int6
((((((triple6) -> (rule7 % int5)) triple7) -> (rule3 % int4)) ((((triple9 ((triple7) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule7 % int5))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((((triple9 triple11) -> (rule9 % int4))) -> (rule7 % int3)) triple7) -> (rule3 % int2)) ((((triple9 triple11) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((((triple9 triple11) -> (rule9 % int5))) -> (rule7 % int4)) ((triple11) -> (rule8 % int3))) -> (rule3 % int2)) ((triple6) -> (rule7 % int4))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((((triple6) -> (rule7 % int6)) ((triple11) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple9 ((triple7) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule7 % int6))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
Fiona is young.
("Fiona" "is" "young" "+")
int6
((((((((triple9 triple11) -> (rule9 % int5))) -> (rule7 % int4)) triple7) -> (rule3 % int3)) ((((triple9 ((triple7) -> (rule4 % int2))) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((((((triple9 triple11) -> (rule9 % int5))) -> (rule7 % int4)) ((triple11) -> (rule8 % int3))) -> (rule3 % int2)) ((((triple9 triple11) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((((((triple9 triple11) -> (rule9 % int6))) -> (rule7 % int5)) ((triple11) -> (rule8 % int4))) -> (rule3 % int3)) ((((triple9 ((triple7) -> (rule4 % int2))) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Fiona is cold.
("Fiona" "is" "cold" "+")
int6
((((((((triple9 ((triple7) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule7 % int3)) triple7) -> (rule3 % int2)) triple12) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((((((triple9 ((triple7) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule7 % int3)) triple7) -> (rule3 % int2)) ((triple6) -> (rule7 % int3))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((((((triple9 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule7 % int4)) ((triple11) -> (rule8 % int3))) -> (rule3 % int2)) triple12) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Fiona is white.
("Fiona" "is" "white" "+")
int6
((((((((triple9 ((triple7) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule7 % int3)) triple7) -> (rule3 % int2)) ((((triple9 triple11) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((((((triple9 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule7 % int4)) ((triple11) -> (rule8 % int3))) -> (rule3 % int2)) ((triple6) -> (rule7 % int4))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Fiona is white.
("Fiona" "is" "white" "+")
int6
((((((((triple9 ((triple7) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule7 % int3)) triple7) -> (rule3 % int2)) ((((triple9 ((triple7) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((((((triple9 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule7 % int4)) ((triple11) -> (rule8 % int3))) -> (rule3 % int2)) ((((triple9 triple11) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Fiona is white.
("Fiona" "is" "white" "+")
int6
((((((((triple9 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule7 % int4)) ((triple11) -> (rule8 % int3))) -> (rule3 % int2)) ((((triple9 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Fiona is white.
("Fiona" "is" "white" "+")
int6
Fiona is white.
("Fiona" "is" "white" "+")
triple11
((triple7) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((triple6 triple7) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple12
((triple6) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((((triple9 triple11) -> (rule9 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple9 ((triple7) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((triple10) -> (rule2 % int3)) triple11) -> (rule9 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple10) -> (rule2 % int4)) ((triple7) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
triple13
Gary is young.
("Gary" "is" "young" "+")
triple14
Harry is furry.
("Harry" "is" "furry" "+")
triple15
Harry is round.
("Harry" "is" "round" "+")
triple16
Dave is furry.
("Dave" "is" "furry" "+")
((triple4) -> (rule8 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
((triple2 triple5) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((triple2 ((triple1) -> (rule7 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((triple2 ((((triple3 triple4) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((triple5 ((triple4) -> (rule8 % int3))) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((triple5 ((triple4) -> (rule8 % int4))) -> (rule3 % int3)) ((triple1) -> (rule7 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((((triple1) -> (rule7 % int4)) ((triple4) -> (rule8 % int3))) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((triple5 ((triple4) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple3 triple4) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
((((((triple1) -> (rule7 % int4)) ((triple4) -> (rule8 % int3))) -> (rule3 % int2)) ((triple1) -> (rule7 % int4))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((triple1) -> (rule7 % int5)) ((triple4) -> (rule8 % int4))) -> (rule3 % int3)) ((((triple3 triple4) -> (rule9 % int2))) -> (rule7 % int5))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((((triple3 triple4) -> (rule9 % int5))) -> (rule7 % int4)) ((triple4) -> (rule8 % int3))) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((((triple3 triple4) -> (rule9 % int5))) -> (rule7 % int4)) ((triple4) -> (rule8 % int3))) -> (rule3 % int2)) ((triple1) -> (rule7 % int4))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((((triple3 triple4) -> (rule9 % int5))) -> (rule7 % int4)) ((triple4) -> (rule8 % int3))) -> (rule3 % int2)) ((((triple3 triple4) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
((triple13) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple15) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple16 ((triple15) -> (rule4 % int2))) -> (rule9 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((((triple16 ((triple15) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
((((((triple16 ((triple15) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule7 % int2)) triple15) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
((((((((triple16 ((triple15) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule7 % int3)) triple15) -> (rule3 % int2)) ((((triple16 ((triple15) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5