Dave is quiet. Erin is big. Erin is rough. Fiona is quiet. Fiona is rough. Fiona is smart. Gary is blue. Quiet, red things are rough. Red, blue things are cold. If Dave is cold and Dave is big then Dave is blue. All quiet things are big. All red things are quiet. If something is big and rough then it is cold. If something is big then it is red. If Gary is red then Gary is rough. Smart things are big.
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Quiet, red things are rough.
((("something" "is" "quiet" "+") ("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
Red, blue things are cold.
((("something" "is" "red" "+") ("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
If Dave is cold and Dave is big then Dave is blue.
((("Dave" "is" "cold" "+") ("Dave" "is" "big" "+")) -> ("Dave" "is" "blue" "+"))
All quiet things are big.
((("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
All red things are quiet.
((("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
If something is big and rough then it is cold.
((("something" "is" "big" "+") ("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
If something is big then it is red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
If Gary is red then Gary is rough.
((("Gary" "is" "red" "+")) -> ("Gary" "is" "rough" "+"))
Smart things are big.
((("something" "is" "smart" "+")) -> ("something" "is" "big" "+"))
Fiona is smart.
True
1
proof
[(triple6)]
("Fiona" "is" "smart" "+")
triple6
Erin is not big.
False
1
inv-proof
[(triple2)]
("Erin" "is" "big" "-")
triple2
Erin is cold.
True
3
proof
[(((triple2 triple3) -> rule6) OR ((triple2 ((((((triple2) -> rule7)) -> rule5) ((triple2) -> rule7)) -> rule1)) -> rule6))]
("Erin" "is" "cold" "+")
((triple2 triple3) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple2 ((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((triple2) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is not cold.
False
3
inv-proof
[(((triple2 triple3) -> rule6) OR ((triple2 ((((((triple2) -> rule7)) -> rule5) ((triple2) -> rule7)) -> rule1)) -> rule6))]
("Erin" "is" "cold" "-")
((triple2 triple3) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple2 ((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((triple2) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Fiona is red.
True
3
proof
[(((((triple4) -> rule4)) -> rule7) OR ((((triple6) -> rule9)) -> rule7))]
("Fiona" "is" "red" "+")
((((triple4) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple6) -> (rule9 % int2))) -> (rule7 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Erin is not quiet.
False
3
inv-proof
[(((((triple2) -> rule7)) -> rule5))]
("Erin" "is" "quiet" "-")
((((triple2) -> (rule7 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Dave is rough.
True
5
proof
[(((triple1 ((((triple1) -> rule4)) -> rule7)) -> rule1))]
("Dave" "is" "rough" "+")
((triple1 ((((triple1) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is not rough.
False
5
inv-proof
[(((triple1 ((((triple1) -> rule4)) -> rule7)) -> rule1))]
("Dave" "is" "rough" "-")
((triple1 ((((triple1) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is cold.
True
8
proof
[(((((triple1) -> rule4) ((triple1 ((((triple1) -> rule4)) -> rule7)) -> rule1)) -> rule6))]
("Dave" "is" "cold" "+")
((((triple1) -> (rule4 % int4)) ((triple1 ((((triple1) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is not cold.
False
8
inv-proof
[(((((triple1) -> rule4) ((triple1 ((((triple1) -> rule4)) -> rule7)) -> rule1)) -> rule6))]
("Dave" "is" "cold" "-")
((((triple1) -> (rule4 % int4)) ((triple1 ((((triple1) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is blue.
True
11
proof
[(((((((triple1) -> rule4) ((triple1 ((((triple1) -> rule4)) -> rule7)) -> rule1)) -> rule6) ((triple1) -> rule4)) -> rule3))]
("Dave" "is" "blue" "+")
((((((triple1) -> (rule4 % int5)) ((triple1 ((((triple1) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple1) -> (rule4 % int5))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Dave is not blue.
False
11
inv-proof
[(((((((triple1) -> rule4) ((triple1 ((((triple1) -> rule4)) -> rule7)) -> rule1)) -> rule6) ((triple1) -> rule4)) -> rule3))]
("Dave" "is" "blue" "-")
((((((triple1) -> (rule4 % int5)) ((triple1 ((((triple1) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple1) -> (rule4 % int5))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Gary is not big.
Unknown
inv-rconc
[@4: Gary is big.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule7 <- rule9 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is quiet.
Unknown
rconc
[@3: Gary is quiet.[CWA. Example of deepest failure = (rule5 <- rule7 <- rule4 <- FAIL)]]
("Gary" "is" "quiet" "+")
Gary is not red.
Unknown
inv-rconc
[@3: Gary is red.[CWA. Example of deepest failure = (rule7 <- rule4 <- rule5 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is cold.
Unknown
rconc
[@5: Gary is cold.[CWA. Example of deepest failure = (rule6 <- rule4 <- rule5 <- rule7 <- rule9 <- FAIL)]]
("Gary" "is" "cold" "+")
Gary is not rough.
Unknown
inv-rconc
[@4: Gary is rough.[CWA. Example of deepest failure = (rule1 <- rule5 <- rule7 <- rule4 <- FAIL)]]
("Gary" "is" "rough" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
Dave is not smart.
Unknown
inv-random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
@0: Dave is quiet.[(triple1)] Erin is big.[(triple2)] Erin is rough.[(triple3 OR ((((((triple2) -> rule7)) -> rule5) ((triple2) -> rule7)) -> rule1))] Fiona is quiet.[(triple4 OR ((((((triple6) -> rule9)) -> rule7)) -> rule5))] Fiona is rough.[(triple5 OR ((triple4 ((((triple4) -> rule4)) -> rule7)) -> rule1) OR ((triple4 ((((triple6) -> rule9)) -> rule7)) -> rule1) OR ((((((((triple6) -> rule9)) -> rule7)) -> rule5) ((((triple4) -> rule4)) -> rule7)) -> rule1) OR ((((((((triple6) -> rule9)) -> rule7)) -> rule5) ((((triple6) -> rule9)) -> rule7)) -> rule1))] Fiona is smart.[(triple6)] Gary is blue.[(triple7)] @1: Dave is big.[(((triple1) -> rule4))] Erin is cold.[(((triple2 triple3) -> rule6) OR ((triple2 ((((((triple2) -> rule7)) -> rule5) ((triple2) -> rule7)) -> rule1)) -> rule6))] Erin is red.[(((triple2) -> rule7))] Fiona is big.[(((triple4) -> rule4) OR ((triple6) -> rule9))] @2: Dave is red.[(((((triple1) -> rule4)) -> rule7))] Erin is quiet.[(((((triple2) -> rule7)) -> rule5))] Fiona is cold.[(((((triple4) -> rule4) triple5) -> rule6) OR ((((triple6) -> rule9) triple5) -> rule6) OR ((((triple4) -> rule4) ((triple4 ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule6) OR ((((triple4) -> rule4) ((triple4 ((((triple6) -> rule9)) -> rule7)) -> rule1)) -> rule6) OR ((((triple6) -> rule9) ((triple4 ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule6) OR ((((triple6) -> rule9) ((triple4 ((((triple6) -> rule9)) -> rule7)) -> rule1)) -> rule6) OR ((((triple4) -> rule4) ((((((((triple6) -> rule9)) -> rule7)) -> rule5) ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule6) OR ((((triple4) -> rule4) ((((((((triple6) -> rule9)) -> rule7)) -> rule5) ((((triple6) -> rule9)) -> rule7)) -> rule1)) -> rule6) OR ((((triple6) -> rule9) ((((((((triple6) -> rule9)) -> rule7)) -> rule5) ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule6) OR ((((triple6) -> rule9) ((((((((triple6) -> rule9)) -> rule7)) -> rule5) ((((triple6) -> rule9)) -> rule7)) -> rule1)) -> rule6))] Fiona is red.[(((((triple4) -> rule4)) -> rule7) OR ((((triple6) -> rule9)) -> rule7))] @3: Dave is rough.[(((triple1 ((((triple1) -> rule4)) -> rule7)) -> rule1))] @4: Dave is cold.[(((((triple1) -> rule4) ((triple1 ((((triple1) -> rule4)) -> rule7)) -> rule1)) -> rule6))] @5: Dave is blue.[(((((((triple1) -> rule4) ((triple1 ((((triple1) -> rule4)) -> rule7)) -> rule1)) -> rule6) ((triple1) -> rule4)) -> rule3))]
Dave is quiet.
("Dave" "is" "quiet" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
triple3
((((((triple2) -> (rule7 % int3))) -> (rule5 % int2)) ((triple2) -> (rule7 % int3))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
((((((triple6) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
((triple4 ((((triple4) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((triple4 ((((triple6) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((((triple6) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) ((((triple4) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((((triple6) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) ((((triple6) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Dave is big.
("Dave" "is" "big" "+")
((triple1) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple2 triple3) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple2 ((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((triple2) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
((triple2) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple4) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple6) -> (rule9 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((((triple1) -> (rule4 % int2))) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
((((triple2) -> (rule7 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple4) -> (rule4 % int2)) triple5) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple6) -> (rule9 % int2)) triple5) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple4) -> (rule4 % int4)) ((triple4 ((((triple4) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((triple4) -> (rule4 % int4)) ((triple4 ((((triple6) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((triple6) -> (rule9 % int4)) ((triple4 ((((triple4) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((triple6) -> (rule9 % int4)) ((triple4 ((((triple6) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((triple4) -> (rule4 % int5)) ((((((((triple6) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple4) -> (rule4 % int5)) ((((((((triple6) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple6) -> (rule9 % int5)) ((((((((triple6) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple6) -> (rule9 % int5)) ((((((((triple6) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is red.
("Fiona" "is" "red" "+")
((((triple4) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple6) -> (rule9 % int2))) -> (rule7 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((triple1 ((((triple1) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
((((triple1) -> (rule4 % int4)) ((triple1 ((((triple1) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
((((((triple1) -> (rule4 % int5)) ((triple1 ((((triple1) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple1) -> (rule4 % int5))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5