Charlie is smart. Dave is red. Dave is smart. Erin is furry. Erin is smart. Fiona is cold. Fiona is kind. Red people are kind. If someone is cold then they are smart. If someone is big then they are furry. All smart people are red. All smart, white people are big. If someone is cold and red then they are white. If Dave is kind then Dave is cold. If Dave is white then Dave is cold.
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Red people are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold then they are smart.
((("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
If someone is big then they are furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
All smart people are red.
((("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
All smart, white people are big.
((("someone" "is" "smart" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and red then they are white.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
If Dave is kind then Dave is cold.
((("Dave" "is" "kind" "+")) -> ("Dave" "is" "cold" "+"))
If Dave is white then Dave is cold.
((("Dave" "is" "white" "+")) -> ("Dave" "is" "cold" "+"))
Dave is smart.
True
1
proof
[(triple3 OR ((((((triple2) -> rule1)) -> rule7)) -> rule2))]
("Dave" "is" "smart" "+")
triple3
((((((triple2) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is not smart.
False
1
inv-proof
[(triple3 OR ((((((triple2) -> rule1)) -> rule7)) -> rule2))]
("Dave" "is" "smart" "-")
triple3
((((((triple2) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Erin is red.
True
2
proof
[(((triple5) -> rule4))]
("Erin" "is" "red" "+")
((triple5) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Fiona is not smart.
False
2
inv-proof
[(((triple6) -> rule2))]
("Fiona" "is" "smart" "-")
((triple6) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Charlie is kind.
True
3
proof
[(((((triple1) -> rule4)) -> rule1))]
("Charlie" "is" "kind" "+")
((((triple1) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is not kind.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule1))]
("Charlie" "is" "kind" "-")
((((triple1) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Dave is white.
True
5
proof
[(((((((triple2) -> rule1)) -> rule7) triple2) -> rule6) OR ((((((triple2) -> rule1)) -> rule7) ((triple3) -> rule4)) -> rule6) OR ((((((((triple3) -> rule4)) -> rule1)) -> rule7) triple2) -> rule6) OR ((((((((triple3) -> rule4)) -> rule1)) -> rule7) ((triple3) -> rule4)) -> rule6))]
("Dave" "is" "white" "+")
((((((triple2) -> (rule1 % int3))) -> (rule7 % int2)) triple2) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((((triple2) -> (rule1 % int4))) -> (rule7 % int3)) ((triple3) -> (rule4 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((((triple3) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) triple2) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((((triple3) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) ((triple3) -> (rule4 % int4))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is not white.
False
5
inv-proof
[(((((((triple2) -> rule1)) -> rule7) triple2) -> rule6) OR ((((((triple2) -> rule1)) -> rule7) ((triple3) -> rule4)) -> rule6) OR ((((((((triple3) -> rule4)) -> rule1)) -> rule7) triple2) -> rule6) OR ((((((((triple3) -> rule4)) -> rule1)) -> rule7) ((triple3) -> rule4)) -> rule6))]
("Dave" "is" "white" "-")
((((((triple2) -> (rule1 % int3))) -> (rule7 % int2)) triple2) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((((triple2) -> (rule1 % int4))) -> (rule7 % int3)) ((triple3) -> (rule4 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((((triple3) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) triple2) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((((triple3) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) ((triple3) -> (rule4 % int4))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Fiona is big.
True
8
proof
[(((((triple6) -> rule2) ((triple6 ((((triple6) -> rule2)) -> rule4)) -> rule6)) -> rule5))]
("Fiona" "is" "big" "+")
((((triple6) -> (rule2 % int4)) ((triple6 ((((triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Dave is not big.
False
7
inv-proof
[(((triple3 ((((((triple2) -> rule1)) -> rule7) triple2) -> rule6)) -> rule5) OR ((triple3 ((((((triple2) -> rule1)) -> rule7) ((triple3) -> rule4)) -> rule6)) -> rule5) OR ((((((((triple2) -> rule1)) -> rule7)) -> rule2) ((((((triple2) -> rule1)) -> rule7) triple2) -> rule6)) -> rule5) OR ((((((((triple2) -> rule1)) -> rule7)) -> rule2) ((((((triple2) -> rule1)) -> rule7) ((triple3) -> rule4)) -> rule6)) -> rule5) OR ((triple3 ((((((((triple3) -> rule4)) -> rule1)) -> rule7) triple2) -> rule6)) -> rule5) OR ((triple3 ((((((((triple3) -> rule4)) -> rule1)) -> rule7) ((triple3) -> rule4)) -> rule6)) -> rule5) OR ((((((((triple2) -> rule1)) -> rule7)) -> rule2) ((((((((triple3) -> rule4)) -> rule1)) -> rule7) triple2) -> rule6)) -> rule5) OR ((((((((triple2) -> rule1)) -> rule7)) -> rule2) ((((((((triple3) -> rule4)) -> rule1)) -> rule7) ((triple3) -> rule4)) -> rule6)) -> rule5))]
("Dave" "is" "big" "-")
((triple3 ((((((triple2) -> (rule1 % int4))) -> (rule7 % int3)) triple2) -> (rule6 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((triple3 ((((((triple2) -> (rule1 % int5))) -> (rule7 % int4)) ((triple3) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((((triple2) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule1 % int5))) -> (rule7 % int4)) triple2) -> (rule6 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((((triple2) -> (rule1 % int6))) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple2) -> (rule1 % int6))) -> (rule7 % int5)) ((triple3) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
int6
((triple3 ((((((((triple3) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) triple2) -> (rule6 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((triple3 ((((((((triple3) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) ((triple3) -> (rule4 % int5))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule1 % int6))) -> (rule7 % int5))) -> (rule2 % int4)) ((((((((triple3) -> (rule4 % int3))) -> (rule1 % int6))) -> (rule7 % int5)) triple2) -> (rule6 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
int6
((((((((triple2) -> (rule1 % int6))) -> (rule7 % int5))) -> (rule2 % int4)) ((((((((triple3) -> (rule4 % int3))) -> (rule1 % int6))) -> (rule7 % int5)) ((triple3) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
int6
Dave is furry.
True
8
proof
[(((((triple3 ((((((triple2) -> rule1)) -> rule7) triple2) -> rule6)) -> rule5)) -> rule3) OR ((((triple3 ((((((triple2) -> rule1)) -> rule7) ((triple3) -> rule4)) -> rule6)) -> rule5)) -> rule3) OR ((((((((((triple2) -> rule1)) -> rule7)) -> rule2) ((((((triple2) -> rule1)) -> rule7) triple2) -> rule6)) -> rule5)) -> rule3) OR ((((((((((triple2) -> rule1)) -> rule7)) -> rule2) ((((((triple2) -> rule1)) -> rule7) ((triple3) -> rule4)) -> rule6)) -> rule5)) -> rule3) OR ((((triple3 ((((((((triple3) -> rule4)) -> rule1)) -> rule7) triple2) -> rule6)) -> rule5)) -> rule3) OR ((((triple3 ((((((((triple3) -> rule4)) -> rule1)) -> rule7) ((triple3) -> rule4)) -> rule6)) -> rule5)) -> rule3) OR ((((((((((triple2) -> rule1)) -> rule7)) -> rule2) ((((((((triple3) -> rule4)) -> rule1)) -> rule7) triple2) -> rule6)) -> rule5)) -> rule3) OR ((((((((((triple2) -> rule1)) -> rule7)) -> rule2) ((((((((triple3) -> rule4)) -> rule1)) -> rule7) ((triple3) -> rule4)) -> rule6)) -> rule5)) -> rule3))]
("Dave" "is" "furry" "+")
((((triple3 ((((((triple2) -> (rule1 % int5))) -> (rule7 % int4)) triple2) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple3 ((((((triple2) -> (rule1 % int6))) -> (rule7 % int5)) ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
int6
((((((((((triple2) -> (rule1 % int6))) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple2) -> (rule1 % int6))) -> (rule7 % int5)) triple2) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
int6
((((((((((triple2) -> (rule1 % int7))) -> (rule7 % int6))) -> (rule2 % int5)) ((((((triple2) -> (rule1 % int7))) -> (rule7 % int6)) ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
Dave is kind.
("Dave" "is" "kind" "+")
int7
((((triple3 ((((((((triple3) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule7 % int4)) triple2) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
Dave is red.
("Dave" "is" "red" "+")
int6
((((triple3 ((((((((triple3) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule7 % int4)) ((triple3) -> (rule4 % int6))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
Dave is red.
("Dave" "is" "red" "+")
int6
((((((((((triple2) -> (rule1 % int7))) -> (rule7 % int6))) -> (rule2 % int5)) ((((((((triple3) -> (rule4 % int4))) -> (rule1 % int7))) -> (rule7 % int6)) triple2) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
Dave is kind.
("Dave" "is" "kind" "+")
int7
((((((((((triple2) -> (rule1 % int7))) -> (rule7 % int6))) -> (rule2 % int5)) ((((((((triple3) -> (rule4 % int4))) -> (rule1 % int7))) -> (rule7 % int6)) ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
Dave is kind.
("Dave" "is" "kind" "+")
int7
Dave is not furry.
False
8
inv-proof
[(((((triple3 ((((((triple2) -> rule1)) -> rule7) triple2) -> rule6)) -> rule5)) -> rule3) OR ((((triple3 ((((((triple2) -> rule1)) -> rule7) ((triple3) -> rule4)) -> rule6)) -> rule5)) -> rule3) OR ((((((((((triple2) -> rule1)) -> rule7)) -> rule2) ((((((triple2) -> rule1)) -> rule7) triple2) -> rule6)) -> rule5)) -> rule3) OR ((((((((((triple2) -> rule1)) -> rule7)) -> rule2) ((((((triple2) -> rule1)) -> rule7) ((triple3) -> rule4)) -> rule6)) -> rule5)) -> rule3) OR ((((triple3 ((((((((triple3) -> rule4)) -> rule1)) -> rule7) triple2) -> rule6)) -> rule5)) -> rule3) OR ((((triple3 ((((((((triple3) -> rule4)) -> rule1)) -> rule7) ((triple3) -> rule4)) -> rule6)) -> rule5)) -> rule3) OR ((((((((((triple2) -> rule1)) -> rule7)) -> rule2) ((((((((triple3) -> rule4)) -> rule1)) -> rule7) triple2) -> rule6)) -> rule5)) -> rule3) OR ((((((((((triple2) -> rule1)) -> rule7)) -> rule2) ((((((((triple3) -> rule4)) -> rule1)) -> rule7) ((triple3) -> rule4)) -> rule6)) -> rule5)) -> rule3))]
("Dave" "is" "furry" "-")
((((triple3 ((((((triple2) -> (rule1 % int5))) -> (rule7 % int4)) triple2) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple3 ((((((triple2) -> (rule1 % int6))) -> (rule7 % int5)) ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
int6
((((((((((triple2) -> (rule1 % int6))) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple2) -> (rule1 % int6))) -> (rule7 % int5)) triple2) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
int6
((((((((((triple2) -> (rule1 % int7))) -> (rule7 % int6))) -> (rule2 % int5)) ((((((triple2) -> (rule1 % int7))) -> (rule7 % int6)) ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
Dave is kind.
("Dave" "is" "kind" "+")
int7
((((triple3 ((((((((triple3) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule7 % int4)) triple2) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
Dave is red.
("Dave" "is" "red" "+")
int6
((((triple3 ((((((((triple3) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule7 % int4)) ((triple3) -> (rule4 % int6))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
Dave is red.
("Dave" "is" "red" "+")
int6
((((((((((triple2) -> (rule1 % int7))) -> (rule7 % int6))) -> (rule2 % int5)) ((((((((triple3) -> (rule4 % int4))) -> (rule1 % int7))) -> (rule7 % int6)) triple2) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
Dave is kind.
("Dave" "is" "kind" "+")
int7
((((((((((triple2) -> (rule1 % int7))) -> (rule7 % int6))) -> (rule2 % int5)) ((((((((triple3) -> (rule4 % int4))) -> (rule1 % int7))) -> (rule7 % int6)) ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
Dave is kind.
("Dave" "is" "kind" "+")
int7
Charlie is not big.
Unknown
inv-rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Charlie" "is" "big" "-")
Charlie is furry.
Unknown
rconc
[@3: Charlie is furry.[CWA. Example of deepest failure = (rule3 <- rule5 <- rule6 <- FAIL)]]
("Charlie" "is" "furry" "+")
Erin is not big.
Unknown
inv-rconc
[@2: Erin is big.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Erin" "is" "big" "-")
Erin is white.
Unknown
rconc
[@1: Erin is white.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "white" "+")
Charlie is not white.
Unknown
inv-rconc
[@1: Charlie is white.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "white" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Charlie is smart.[(triple1)] Dave is red.[(triple2 OR ((triple3) -> rule4))] Dave is smart.[(triple3 OR ((((((triple2) -> rule1)) -> rule7)) -> rule2))] Erin is furry.[(triple4)] Erin is smart.[(triple5)] Fiona is cold.[(triple6)] Fiona is kind.[(triple7 OR ((((((triple6) -> rule2)) -> rule4)) -> rule1))] @1: Charlie is red.[(((triple1) -> rule4))] Dave is kind.[(((triple2) -> rule1) OR ((((triple3) -> rule4)) -> rule1))] Erin is red.[(((triple5) -> rule4))] Fiona is smart.[(((triple6) -> rule2))] @2: Charlie is kind.[(((((triple1) -> rule4)) -> rule1))] Dave is cold.[(((((triple2) -> rule1)) -> rule7) OR ((((((triple3) -> rule4)) -> rule1)) -> rule7))] Erin is kind.[(((((triple5) -> rule4)) -> rule1))] Fiona is red.[(((((triple6) -> rule2)) -> rule4))] @3: Dave is white.[(((((((triple2) -> rule1)) -> rule7) triple2) -> rule6) OR ((((((triple2) -> rule1)) -> rule7) ((triple3) -> rule4)) -> rule6) OR ((((((((triple3) -> rule4)) -> rule1)) -> rule7) triple2) -> rule6) OR ((((((((triple3) -> rule4)) -> rule1)) -> rule7) ((triple3) -> rule4)) -> rule6))] Fiona is white.[(((triple6 ((((triple6) -> rule2)) -> rule4)) -> rule6))] @4: Dave is big.[(((triple3 ((((((triple2) -> rule1)) -> rule7) triple2) -> rule6)) -> rule5) OR ((triple3 ((((((triple2) -> rule1)) -> rule7) ((triple3) -> rule4)) -> rule6)) -> rule5) OR ((((((((triple2) -> rule1)) -> rule7)) -> rule2) ((((((triple2) -> rule1)) -> rule7) triple2) -> rule6)) -> rule5) OR ((((((((triple2) -> rule1)) -> rule7)) -> rule2) ((((((triple2) -> rule1)) -> rule7) ((triple3) -> rule4)) -> rule6)) -> rule5) OR ((triple3 ((((((((triple3) -> rule4)) -> rule1)) -> rule7) triple2) -> rule6)) -> rule5) OR ((triple3 ((((((((triple3) -> rule4)) -> rule1)) -> rule7) ((triple3) -> rule4)) -> rule6)) -> rule5) OR ((((((((triple2) -> rule1)) -> rule7)) -> rule2) ((((((((triple3) -> rule4)) -> rule1)) -> rule7) triple2) -> rule6)) -> rule5) OR ((((((((triple2) -> rule1)) -> rule7)) -> rule2) ((((((((triple3) -> rule4)) -> rule1)) -> rule7) ((triple3) -> rule4)) -> rule6)) -> rule5))] Fiona is big.[(((((triple6) -> rule2) ((triple6 ((((triple6) -> rule2)) -> rule4)) -> rule6)) -> rule5))] @5: Dave is furry.[(((((triple3 ((((((triple2) -> rule1)) -> rule7) triple2) -> rule6)) -> rule5)) -> rule3) OR ((((triple3 ((((((triple2) -> rule1)) -> rule7) ((triple3) -> rule4)) -> rule6)) -> rule5)) -> rule3) OR ((((((((((triple2) -> rule1)) -> rule7)) -> rule2) ((((((triple2) -> rule1)) -> rule7) triple2) -> rule6)) -> rule5)) -> rule3) OR ((((((((((triple2) -> rule1)) -> rule7)) -> rule2) ((((((triple2) -> rule1)) -> rule7) ((triple3) -> rule4)) -> rule6)) -> rule5)) -> rule3) OR ((((triple3 ((((((((triple3) -> rule4)) -> rule1)) -> rule7) triple2) -> rule6)) -> rule5)) -> rule3) OR ((((triple3 ((((((((triple3) -> rule4)) -> rule1)) -> rule7) ((triple3) -> rule4)) -> rule6)) -> rule5)) -> rule3) OR ((((((((((triple2) -> rule1)) -> rule7)) -> rule2) ((((((((triple3) -> rule4)) -> rule1)) -> rule7) triple2) -> rule6)) -> rule5)) -> rule3) OR ((((((((((triple2) -> rule1)) -> rule7)) -> rule2) ((((((((triple3) -> rule4)) -> rule1)) -> rule7) ((triple3) -> rule4)) -> rule6)) -> rule5)) -> rule3))] Fiona is furry.[(((((((triple6) -> rule2) ((triple6 ((((triple6) -> rule2)) -> rule4)) -> rule6)) -> rule5)) -> rule3))]
Charlie is smart.
("Charlie" "is" "smart" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple2
((triple3) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
triple3
((((((triple2) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Erin is smart.
("Erin" "is" "smart" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
((((((triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
((triple1) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((triple2) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((((triple3) -> (rule4 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
((triple5) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple6) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple1) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((((triple2) -> (rule1 % int2))) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((((triple3) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
((((triple5) -> (rule4 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((((triple6) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
((((((triple2) -> (rule1 % int3))) -> (rule7 % int2)) triple2) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((((triple2) -> (rule1 % int4))) -> (rule7 % int3)) ((triple3) -> (rule4 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((((triple3) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) triple2) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((((triple3) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) ((triple3) -> (rule4 % int4))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
((triple6 ((((triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
((triple3 ((((((triple2) -> (rule1 % int4))) -> (rule7 % int3)) triple2) -> (rule6 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((triple3 ((((((triple2) -> (rule1 % int5))) -> (rule7 % int4)) ((triple3) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((((triple2) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule1 % int5))) -> (rule7 % int4)) triple2) -> (rule6 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((((triple2) -> (rule1 % int6))) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple2) -> (rule1 % int6))) -> (rule7 % int5)) ((triple3) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
int6
((triple3 ((((((((triple3) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) triple2) -> (rule6 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((triple3 ((((((((triple3) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) ((triple3) -> (rule4 % int5))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule1 % int6))) -> (rule7 % int5))) -> (rule2 % int4)) ((((((((triple3) -> (rule4 % int3))) -> (rule1 % int6))) -> (rule7 % int5)) triple2) -> (rule6 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
int6
((((((((triple2) -> (rule1 % int6))) -> (rule7 % int5))) -> (rule2 % int4)) ((((((((triple3) -> (rule4 % int3))) -> (rule1 % int6))) -> (rule7 % int5)) ((triple3) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
int6
Fiona is big.
("Fiona" "is" "big" "+")
((((triple6) -> (rule2 % int4)) ((triple6 ((((triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
((((triple3 ((((((triple2) -> (rule1 % int5))) -> (rule7 % int4)) triple2) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple3 ((((((triple2) -> (rule1 % int6))) -> (rule7 % int5)) ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
int6
((((((((((triple2) -> (rule1 % int6))) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple2) -> (rule1 % int6))) -> (rule7 % int5)) triple2) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
int6
((((((((((triple2) -> (rule1 % int7))) -> (rule7 % int6))) -> (rule2 % int5)) ((((((triple2) -> (rule1 % int7))) -> (rule7 % int6)) ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
Dave is kind.
("Dave" "is" "kind" "+")
int7
((((triple3 ((((((((triple3) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule7 % int4)) triple2) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
Dave is red.
("Dave" "is" "red" "+")
int6
((((triple3 ((((((((triple3) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule7 % int4)) ((triple3) -> (rule4 % int6))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
Dave is red.
("Dave" "is" "red" "+")
int6
((((((((((triple2) -> (rule1 % int7))) -> (rule7 % int6))) -> (rule2 % int5)) ((((((((triple3) -> (rule4 % int4))) -> (rule1 % int7))) -> (rule7 % int6)) triple2) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
Dave is kind.
("Dave" "is" "kind" "+")
int7
((((((((((triple2) -> (rule1 % int7))) -> (rule7 % int6))) -> (rule2 % int5)) ((((((((triple3) -> (rule4 % int4))) -> (rule1 % int7))) -> (rule7 % int6)) ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
Dave is kind.
("Dave" "is" "kind" "+")
int7
Fiona is furry.
("Fiona" "is" "furry" "+")
((((((triple6) -> (rule2 % int5)) ((triple6 ((((triple6) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5