Anne is cold. Anne is nice. Anne is red. Dave is big. Dave is nice. Fiona is big. Fiona is nice. Fiona is rough. Harry is cold. Harry is nice. All big, nice things are cold. If something is kind and rough then it is red. All red, rough things are smart. If something is cold then it is rough. Rough things are kind.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is nice.
("Harry" "is" "nice" "+")
All big, nice things are cold.
((("something" "is" "big" "+") ("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
If something is kind and rough then it is red.
((("something" "is" "kind" "+") ("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
All red, rough things are smart.
((("something" "is" "red" "+") ("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
If something is cold then it is rough.
((("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
Rough things are kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
Fiona is rough.
True
1
proof
[(triple8 OR ((((triple6 triple7) -> rule1)) -> rule4))]
("Fiona" "is" "rough" "+")
triple8
((((triple6 triple7) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Anne is not nice.
False
1
inv-proof
[(triple2)]
("Anne" "is" "nice" "-")
triple2
Dave is cold.
True
3
proof
[(((triple4 triple5) -> rule1))]
("Dave" "is" "cold" "+")
((triple4 triple5) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Harry is not rough.
False
2
inv-proof
[(((triple9) -> rule4))]
("Harry" "is" "rough" "-")
((triple9) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Anne is smart.
True
4
proof
[(((triple3 ((triple1) -> rule4)) -> rule3) OR ((((((((triple1) -> rule4)) -> rule5) ((triple1) -> rule4)) -> rule2) ((triple1) -> rule4)) -> rule3))]
("Anne" "is" "smart" "+")
((triple3 ((triple1) -> (rule4 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((((((triple1) -> (rule4 % int4))) -> (rule5 % int3)) ((triple1) -> (rule4 % int4))) -> (rule2 % int2)) ((triple1) -> (rule4 % int4))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Harry is not kind.
False
3
inv-proof
[(((((triple9) -> rule4)) -> rule5))]
("Harry" "is" "kind" "-")
((((triple9) -> (rule4 % int2))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Dave is kind.
True
5
proof
[(((((((triple4 triple5) -> rule1)) -> rule4)) -> rule5))]
("Dave" "is" "kind" "+")
((((((triple4 triple5) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Harry is not red.
False
6
inv-proof
[(((((((triple9) -> rule4)) -> rule5) ((triple9) -> rule4)) -> rule2))]
("Harry" "is" "red" "-")
((((((triple9) -> (rule4 % int3))) -> (rule5 % int2)) ((triple9) -> (rule4 % int3))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Dave is red.
True
10
proof
[(((((((((triple4 triple5) -> rule1)) -> rule4)) -> rule5) ((((triple4 triple5) -> rule1)) -> rule4)) -> rule2))]
("Dave" "is" "red" "+")
((((((((triple4 triple5) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) ((((triple4 triple5) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Harry is not smart.
False
9
inv-proof
[(((((((((triple9) -> rule4)) -> rule5) ((triple9) -> rule4)) -> rule2) ((triple9) -> rule4)) -> rule3))]
("Harry" "is" "smart" "-")
((((((((triple9) -> (rule4 % int4))) -> (rule5 % int3)) ((triple9) -> (rule4 % int4))) -> (rule2 % int2)) ((triple9) -> (rule4 % int4))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Dave is smart.
True
15
proof
[(((((((((((triple4 triple5) -> rule1)) -> rule4)) -> rule5) ((((triple4 triple5) -> rule1)) -> rule4)) -> rule2) ((((triple4 triple5) -> rule1)) -> rule4)) -> rule3))]
("Dave" "is" "smart" "+")
((((((((((triple4 triple5) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple4 triple5) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule2 % int2)) ((((triple4 triple5) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is not smart.
False
15
inv-proof
[(((((((((((triple4 triple5) -> rule1)) -> rule4)) -> rule5) ((((triple4 triple5) -> rule1)) -> rule4)) -> rule2) ((((triple4 triple5) -> rule1)) -> rule4)) -> rule3))]
("Dave" "is" "smart" "-")
((((((((((triple4 triple5) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple4 triple5) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule2 % int2)) ((((triple4 triple5) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is red.[(triple3 OR ((((((triple1) -> rule4)) -> rule5) ((triple1) -> rule4)) -> rule2))] Dave is big.[(triple4)] Dave is nice.[(triple5)] Fiona is big.[(triple6)] Fiona is nice.[(triple7)] Fiona is rough.[(triple8 OR ((((triple6 triple7) -> rule1)) -> rule4))] Harry is cold.[(triple9)] Harry is nice.[(triple10)] @1: Anne is rough.[(((triple1) -> rule4))] Dave is cold.[(((triple4 triple5) -> rule1))] Fiona is cold.[(((triple6 triple7) -> rule1))] Fiona is kind.[(((triple8) -> rule5) OR ((((((triple6 triple7) -> rule1)) -> rule4)) -> rule5))] Harry is rough.[(((triple9) -> rule4))] @2: Anne is kind.[(((((triple1) -> rule4)) -> rule5))] Anne is smart.[(((triple3 ((triple1) -> rule4)) -> rule3) OR ((((((((triple1) -> rule4)) -> rule5) ((triple1) -> rule4)) -> rule2) ((triple1) -> rule4)) -> rule3))] Dave is rough.[(((((triple4 triple5) -> rule1)) -> rule4))] Fiona is red.[(((((triple8) -> rule5) triple8) -> rule2) OR ((((triple8) -> rule5) ((((triple6 triple7) -> rule1)) -> rule4)) -> rule2) OR ((((((((triple6 triple7) -> rule1)) -> rule4)) -> rule5) triple8) -> rule2) OR ((((((((triple6 triple7) -> rule1)) -> rule4)) -> rule5) ((((triple6 triple7) -> rule1)) -> rule4)) -> rule2))] Harry is kind.[(((((triple9) -> rule4)) -> rule5))] @3: Dave is kind.[(((((((triple4 triple5) -> rule1)) -> rule4)) -> rule5))] Fiona is smart.[(((((((triple8) -> rule5) triple8) -> rule2) triple8) -> rule3) OR ((((((triple8) -> rule5) triple8) -> rule2) ((((triple6 triple7) -> rule1)) -> rule4)) -> rule3) OR ((((((triple8) -> rule5) ((((triple6 triple7) -> rule1)) -> rule4)) -> rule2) triple8) -> rule3) OR ((((((triple8) -> rule5) ((((triple6 triple7) -> rule1)) -> rule4)) -> rule2) ((((triple6 triple7) -> rule1)) -> rule4)) -> rule3) OR ((((((((((triple6 triple7) -> rule1)) -> rule4)) -> rule5) triple8) -> rule2) triple8) -> rule3) OR ((((((((((triple6 triple7) -> rule1)) -> rule4)) -> rule5) triple8) -> rule2) ((((triple6 triple7) -> rule1)) -> rule4)) -> rule3) OR ((((((((((triple6 triple7) -> rule1)) -> rule4)) -> rule5) ((((triple6 triple7) -> rule1)) -> rule4)) -> rule2) triple8) -> rule3) OR ((((((((((triple6 triple7) -> rule1)) -> rule4)) -> rule5) ((((triple6 triple7) -> rule1)) -> rule4)) -> rule2) ((((triple6 triple7) -> rule1)) -> rule4)) -> rule3))] Harry is red.[(((((((triple9) -> rule4)) -> rule5) ((triple9) -> rule4)) -> rule2))] @4: Dave is red.[(((((((((triple4 triple5) -> rule1)) -> rule4)) -> rule5) ((((triple4 triple5) -> rule1)) -> rule4)) -> rule2))] Harry is smart.[(((((((((triple9) -> rule4)) -> rule5) ((triple9) -> rule4)) -> rule2) ((triple9) -> rule4)) -> rule3))] @5: Dave is smart.[(((((((((((triple4 triple5) -> rule1)) -> rule4)) -> rule5) ((((triple4 triple5) -> rule1)) -> rule4)) -> rule2) ((((triple4 triple5) -> rule1)) -> rule4)) -> rule3))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
((((((triple1) -> (rule4 % int3))) -> (rule5 % int2)) ((triple1) -> (rule4 % int3))) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
((((triple6 triple7) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Anne is rough.
("Anne" "is" "rough" "+")
((triple1) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple4 triple5) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple6 triple7) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple8) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((((triple6 triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
((triple9) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
((((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
((triple3 ((triple1) -> (rule4 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((((((triple1) -> (rule4 % int4))) -> (rule5 % int3)) ((triple1) -> (rule4 % int4))) -> (rule2 % int2)) ((triple1) -> (rule4 % int4))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
((((triple4 triple5) -> (rule1 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((((triple8) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple8) -> (rule5 % int4)) ((((triple6 triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((((triple6 triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((((triple6 triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) ((((triple6 triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
((((triple9) -> (rule4 % int2))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
((((((triple4 triple5) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
((((((triple8) -> (rule5 % int3)) triple8) -> (rule2 % int2)) triple8) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((((triple8) -> (rule5 % int5)) triple8) -> (rule2 % int4)) ((((triple6 triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((((triple8) -> (rule5 % int5)) ((((triple6 triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple8) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((((triple8) -> (rule5 % int5)) ((((triple6 triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) ((((triple6 triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((((((((triple6 triple7) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) triple8) -> (rule2 % int2)) triple8) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((((((((triple6 triple7) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) triple8) -> (rule2 % int2)) ((((triple6 triple7) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((((((((triple6 triple7) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple6 triple7) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule2 % int2)) triple8) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((((((((triple6 triple7) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple6 triple7) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule2 % int2)) ((((triple6 triple7) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
((((((triple9) -> (rule4 % int3))) -> (rule5 % int2)) ((triple9) -> (rule4 % int3))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
((((((((triple4 triple5) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) ((((triple4 triple5) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
((((((((triple9) -> (rule4 % int4))) -> (rule5 % int3)) ((triple9) -> (rule4 % int4))) -> (rule2 % int2)) ((triple9) -> (rule4 % int4))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
((((((((((triple4 triple5) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple4 triple5) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule2 % int2)) ((((triple4 triple5) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5