Anne is cold. Anne is rough. Anne is smart. Anne is white. Anne is young. Dave is cold. Dave is kind. Dave is rough. Dave is white. Dave is young. Gary is quiet. Gary is rough. Gary is smart. Gary is white. Gary is young. If Anne is cold and Anne is white then Anne is kind. If Dave is cold and Dave is not white then Dave is kind. If someone is smart then they are cold. If Anne is quiet then Anne is rough. Kind people are rough. All young people are smart. If Dave is cold and Dave is kind then Dave is smart. If someone is rough and kind then they are quiet.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If Anne is cold and Anne is white then Anne is kind.
((("Anne" "is" "cold" "+") ("Anne" "is" "white" "+")) -> ("Anne" "is" "kind" "+"))
If Dave is cold and Dave is not white then Dave is kind.
((("Dave" "is" "cold" "+") ("Dave" "is" "white" "~")) -> ("Dave" "is" "kind" "+"))
If someone is smart then they are cold.
((("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
If Anne is quiet then Anne is rough.
((("Anne" "is" "quiet" "+")) -> ("Anne" "is" "rough" "+"))
Kind people are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
All young people are smart.
((("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
If Dave is cold and Dave is kind then Dave is smart.
((("Dave" "is" "cold" "+") ("Dave" "is" "kind" "+")) -> ("Dave" "is" "smart" "+"))
If someone is rough and kind then they are quiet.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
Gary is white.
True
1
proof
[(triple14)]
("Gary" "is" "white" "+")
triple14
Anne is not cold.
False
1
inv-proof
[(triple1 OR ((triple3) -> rule3) OR ((((triple5) -> rule6)) -> rule3))]
("Anne" "is" "cold" "-")
triple1
((triple3) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple5) -> (rule6 % int2))) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Gary is cold.
True
2
proof
[(((triple13) -> rule3) OR ((((triple15) -> rule6)) -> rule3))]
("Gary" "is" "cold" "+")
((triple13) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((((triple15) -> (rule6 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Anne is not kind.
False
3
inv-proof
[(((triple1 triple4) -> rule1) OR ((((triple3) -> rule3) triple4) -> rule1) OR ((((((triple5) -> rule6)) -> rule3) triple4) -> rule1))]
("Anne" "is" "kind" "-")
((triple1 triple4) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((triple3) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((triple5) -> (rule6 % int3))) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is quiet.
True
5
proof
[(((triple2 ((triple1 triple4) -> rule1)) -> rule8) OR ((triple2 ((((triple3) -> rule3) triple4) -> rule1)) -> rule8) OR ((((((triple1 triple4) -> rule1)) -> rule5) ((triple1 triple4) -> rule1)) -> rule8) OR ((((((triple1 triple4) -> rule1)) -> rule5) ((((triple3) -> rule3) triple4) -> rule1)) -> rule8) OR ((triple2 ((((((triple5) -> rule6)) -> rule3) triple4) -> rule1)) -> rule8) OR ((((((((triple3) -> rule3) triple4) -> rule1)) -> rule5) ((triple1 triple4) -> rule1)) -> rule8) OR ((((((triple1 triple4) -> rule1)) -> rule5) ((((((triple5) -> rule6)) -> rule3) triple4) -> rule1)) -> rule8) OR ((((((((triple3) -> rule3) triple4) -> rule1)) -> rule5) ((((triple3) -> rule3) triple4) -> rule1)) -> rule8) OR ((((((((triple3) -> rule3) triple4) -> rule1)) -> rule5) ((((((triple5) -> rule6)) -> rule3) triple4) -> rule1)) -> rule8) OR ((((((((((triple5) -> rule6)) -> rule3) triple4) -> rule1)) -> rule5) ((triple1 triple4) -> rule1)) -> rule8) OR ((((((((((triple5) -> rule6)) -> rule3) triple4) -> rule1)) -> rule5) ((((triple3) -> rule3) triple4) -> rule1)) -> rule8) OR ((((((((((triple5) -> rule6)) -> rule3) triple4) -> rule1)) -> rule5) ((((((triple5) -> rule6)) -> rule3) triple4) -> rule1)) -> rule8))]
("Anne" "is" "quiet" "+")
((triple2 ((triple1 triple4) -> (rule1 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((triple2 ((((triple3) -> (rule3 % int3)) triple4) -> (rule1 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((triple1 triple4) -> (rule1 % int3))) -> (rule5 % int2)) ((triple1 triple4) -> (rule1 % int3))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple1 triple4) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule3 % int2)) triple4) -> (rule1 % int4))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((triple2 ((((((triple5) -> (rule6 % int4))) -> (rule3 % int3)) triple4) -> (rule1 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((((triple3) -> (rule3 % int4)) triple4) -> (rule1 % int3))) -> (rule5 % int2)) ((triple1 triple4) -> (rule1 % int3))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((triple1 triple4) -> (rule1 % int5))) -> (rule5 % int4)) ((((((triple5) -> (rule6 % int3))) -> (rule3 % int2)) triple4) -> (rule1 % int5))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((((triple3) -> (rule3 % int4)) triple4) -> (rule1 % int3))) -> (rule5 % int2)) ((((triple3) -> (rule3 % int4)) triple4) -> (rule1 % int3))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((((triple3) -> (rule3 % int5)) triple4) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple5) -> (rule6 % int2))) -> (rule3 % int5)) triple4) -> (rule1 % int4))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((((triple5) -> (rule6 % int5))) -> (rule3 % int4)) triple4) -> (rule1 % int3))) -> (rule5 % int2)) ((triple1 triple4) -> (rule1 % int3))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((((triple5) -> (rule6 % int5))) -> (rule3 % int4)) triple4) -> (rule1 % int3))) -> (rule5 % int2)) ((((triple3) -> (rule3 % int4)) triple4) -> (rule1 % int3))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((((triple5) -> (rule6 % int5))) -> (rule3 % int4)) triple4) -> (rule1 % int3))) -> (rule5 % int2)) ((((((triple5) -> (rule6 % int5))) -> (rule3 % int4)) triple4) -> (rule1 % int3))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is not quiet.
False
5
inv-proof
[(((triple2 ((triple1 triple4) -> rule1)) -> rule8) OR ((triple2 ((((triple3) -> rule3) triple4) -> rule1)) -> rule8) OR ((((((triple1 triple4) -> rule1)) -> rule5) ((triple1 triple4) -> rule1)) -> rule8) OR ((((((triple1 triple4) -> rule1)) -> rule5) ((((triple3) -> rule3) triple4) -> rule1)) -> rule8) OR ((triple2 ((((((triple5) -> rule6)) -> rule3) triple4) -> rule1)) -> rule8) OR ((((((((triple3) -> rule3) triple4) -> rule1)) -> rule5) ((triple1 triple4) -> rule1)) -> rule8) OR ((((((triple1 triple4) -> rule1)) -> rule5) ((((((triple5) -> rule6)) -> rule3) triple4) -> rule1)) -> rule8) OR ((((((((triple3) -> rule3) triple4) -> rule1)) -> rule5) ((((triple3) -> rule3) triple4) -> rule1)) -> rule8) OR ((((((((triple3) -> rule3) triple4) -> rule1)) -> rule5) ((((((triple5) -> rule6)) -> rule3) triple4) -> rule1)) -> rule8) OR ((((((((((triple5) -> rule6)) -> rule3) triple4) -> rule1)) -> rule5) ((triple1 triple4) -> rule1)) -> rule8) OR ((((((((((triple5) -> rule6)) -> rule3) triple4) -> rule1)) -> rule5) ((((triple3) -> rule3) triple4) -> rule1)) -> rule8) OR ((((((((((triple5) -> rule6)) -> rule3) triple4) -> rule1)) -> rule5) ((((((triple5) -> rule6)) -> rule3) triple4) -> rule1)) -> rule8))]
("Anne" "is" "quiet" "-")
((triple2 ((triple1 triple4) -> (rule1 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((triple2 ((((triple3) -> (rule3 % int3)) triple4) -> (rule1 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((triple1 triple4) -> (rule1 % int3))) -> (rule5 % int2)) ((triple1 triple4) -> (rule1 % int3))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple1 triple4) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule3 % int2)) triple4) -> (rule1 % int4))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((triple2 ((((((triple5) -> (rule6 % int4))) -> (rule3 % int3)) triple4) -> (rule1 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((((triple3) -> (rule3 % int4)) triple4) -> (rule1 % int3))) -> (rule5 % int2)) ((triple1 triple4) -> (rule1 % int3))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((triple1 triple4) -> (rule1 % int5))) -> (rule5 % int4)) ((((((triple5) -> (rule6 % int3))) -> (rule3 % int2)) triple4) -> (rule1 % int5))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((((triple3) -> (rule3 % int4)) triple4) -> (rule1 % int3))) -> (rule5 % int2)) ((((triple3) -> (rule3 % int4)) triple4) -> (rule1 % int3))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((((triple3) -> (rule3 % int5)) triple4) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple5) -> (rule6 % int2))) -> (rule3 % int5)) triple4) -> (rule1 % int4))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((((triple5) -> (rule6 % int5))) -> (rule3 % int4)) triple4) -> (rule1 % int3))) -> (rule5 % int2)) ((triple1 triple4) -> (rule1 % int3))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((((triple5) -> (rule6 % int5))) -> (rule3 % int4)) triple4) -> (rule1 % int3))) -> (rule5 % int2)) ((((triple3) -> (rule3 % int4)) triple4) -> (rule1 % int3))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((((triple5) -> (rule6 % int5))) -> (rule3 % int4)) triple4) -> (rule1 % int3))) -> (rule5 % int2)) ((((((triple5) -> (rule6 % int5))) -> (rule3 % int4)) triple4) -> (rule1 % int3))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
@0: Anne is cold.[(triple1 OR ((triple3) -> rule3) OR ((((triple5) -> rule6)) -> rule3))] Anne is rough.[(triple2 OR ((((triple1 triple4) -> rule1)) -> rule5) OR ((((((triple3) -> rule3) triple4) -> rule1)) -> rule5) OR ((((((((triple5) -> rule6)) -> rule3) triple4) -> rule1)) -> rule5))] Anne is smart.[(triple3 OR ((triple5) -> rule6))] Anne is white.[(triple4)] Anne is young.[(triple5)] Dave is cold.[(triple6 OR ((((triple10) -> rule6)) -> rule3))] Dave is kind.[(triple7)] Dave is rough.[(triple8 OR ((triple7) -> rule5))] Dave is white.[(triple9)] Dave is young.[(triple10)] Gary is quiet.[(triple11)] Gary is rough.[(triple12)] Gary is smart.[(triple13 OR ((triple15) -> rule6))] Gary is white.[(triple14)] Gary is young.[(triple15)] @1: Anne is kind.[(((triple1 triple4) -> rule1) OR ((((triple3) -> rule3) triple4) -> rule1) OR ((((((triple5) -> rule6)) -> rule3) triple4) -> rule1))] Dave is quiet.[(((triple8 triple7) -> rule8) OR ((((triple7) -> rule5) triple7) -> rule8))] Dave is smart.[(((triple10) -> rule6) OR ((triple6 triple7) -> rule7))] Gary is cold.[(((triple13) -> rule3) OR ((((triple15) -> rule6)) -> rule3))] @2: Anne is quiet.[(((triple2 ((triple1 triple4) -> rule1)) -> rule8) OR ((triple2 ((((triple3) -> rule3) triple4) -> rule1)) -> rule8) OR ((((((triple1 triple4) -> rule1)) -> rule5) ((triple1 triple4) -> rule1)) -> rule8) OR ((((((triple1 triple4) -> rule1)) -> rule5) ((((triple3) -> rule3) triple4) -> rule1)) -> rule8) OR ((triple2 ((((((triple5) -> rule6)) -> rule3) triple4) -> rule1)) -> rule8) OR ((((((((triple3) -> rule3) triple4) -> rule1)) -> rule5) ((triple1 triple4) -> rule1)) -> rule8) OR ((((((triple1 triple4) -> rule1)) -> rule5) ((((((triple5) -> rule6)) -> rule3) triple4) -> rule1)) -> rule8) OR ((((((((triple3) -> rule3) triple4) -> rule1)) -> rule5) ((((triple3) -> rule3) triple4) -> rule1)) -> rule8) OR ((((((((triple3) -> rule3) triple4) -> rule1)) -> rule5) ((((((triple5) -> rule6)) -> rule3) triple4) -> rule1)) -> rule8) OR ((((((((((triple5) -> rule6)) -> rule3) triple4) -> rule1)) -> rule5) ((triple1 triple4) -> rule1)) -> rule8) OR ((((((((((triple5) -> rule6)) -> rule3) triple4) -> rule1)) -> rule5) ((((triple3) -> rule3) triple4) -> rule1)) -> rule8) OR ((((((((((triple5) -> rule6)) -> rule3) triple4) -> rule1)) -> rule5) ((((((triple5) -> rule6)) -> rule3) triple4) -> rule1)) -> rule8))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((triple3) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple5) -> (rule6 % int2))) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
triple2
((((triple1 triple4) -> (rule1 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((((triple3) -> (rule3 % int3)) triple4) -> (rule1 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((((triple5) -> (rule6 % int4))) -> (rule3 % int3)) triple4) -> (rule1 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
triple3
((triple5) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple6
((((triple10) -> (rule6 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple8
((triple7) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
triple9
Dave is young.
("Dave" "is" "young" "+")
triple10
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple12
Gary is smart.
("Gary" "is" "smart" "+")
triple13
((triple15) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple15
Anne is kind.
("Anne" "is" "kind" "+")
((triple1 triple4) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((triple3) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((triple5) -> (rule6 % int3))) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple8 triple7) -> (rule8 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((((triple7) -> (rule5 % int2)) triple7) -> (rule8 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
((triple10) -> (rule6 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((triple6 triple7) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple13) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((((triple15) -> (rule6 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple2 ((triple1 triple4) -> (rule1 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((triple2 ((((triple3) -> (rule3 % int3)) triple4) -> (rule1 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((triple1 triple4) -> (rule1 % int3))) -> (rule5 % int2)) ((triple1 triple4) -> (rule1 % int3))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple1 triple4) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule3 % int2)) triple4) -> (rule1 % int4))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((triple2 ((((((triple5) -> (rule6 % int4))) -> (rule3 % int3)) triple4) -> (rule1 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((((triple3) -> (rule3 % int4)) triple4) -> (rule1 % int3))) -> (rule5 % int2)) ((triple1 triple4) -> (rule1 % int3))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((triple1 triple4) -> (rule1 % int5))) -> (rule5 % int4)) ((((((triple5) -> (rule6 % int3))) -> (rule3 % int2)) triple4) -> (rule1 % int5))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((((triple3) -> (rule3 % int4)) triple4) -> (rule1 % int3))) -> (rule5 % int2)) ((((triple3) -> (rule3 % int4)) triple4) -> (rule1 % int3))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((((triple3) -> (rule3 % int5)) triple4) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple5) -> (rule6 % int2))) -> (rule3 % int5)) triple4) -> (rule1 % int4))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((((triple5) -> (rule6 % int5))) -> (rule3 % int4)) triple4) -> (rule1 % int3))) -> (rule5 % int2)) ((triple1 triple4) -> (rule1 % int3))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((((triple5) -> (rule6 % int5))) -> (rule3 % int4)) triple4) -> (rule1 % int3))) -> (rule5 % int2)) ((((triple3) -> (rule3 % int4)) triple4) -> (rule1 % int3))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((((triple5) -> (rule6 % int5))) -> (rule3 % int4)) triple4) -> (rule1 % int3))) -> (rule5 % int2)) ((((((triple5) -> (rule6 % int5))) -> (rule3 % int4)) triple4) -> (rule1 % int3))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5