Dave is green. Dave is red. Dave is rough. Dave is young. Fiona is cold. Fiona is rough. Fiona is white. If something is white then it is rough. If something is rough and cold then it is smart. If something is red and cold then it is young. If something is red and young then it is green. All smart things are young. If something is smart and rough then it is red.
Dave is green.
("Dave" "is" "green" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If something is white then it is rough.
((("something" "is" "white" "+")) -> ("something" "is" "rough" "+"))
If something is rough and cold then it is smart.
((("something" "is" "rough" "+") ("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
If something is red and cold then it is young.
((("something" "is" "red" "+") ("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If something is red and young then it is green.
((("something" "is" "red" "+") ("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
All smart things are young.
((("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
If something is smart and rough then it is red.
((("something" "is" "smart" "+") ("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
Dave is young.
True
1
proof
[(triple4)]
("Dave" "is" "young" "+")
triple4
Dave is not red.
False
1
inv-proof
[(triple2)]
("Dave" "is" "red" "-")
triple2
Fiona is smart.
True
3
proof
[(((triple6 triple5) -> rule2) OR ((((triple7) -> rule1) triple5) -> rule2))]
("Fiona" "is" "smart" "+")
((triple6 triple5) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple7) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is not smart.
False
3
inv-proof
[(((triple6 triple5) -> rule2) OR ((((triple7) -> rule1) triple5) -> rule2))]
("Fiona" "is" "smart" "-")
((triple6 triple5) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple7) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is young.
True
4
proof
[(((((triple6 triple5) -> rule2)) -> rule5) OR ((((((triple7) -> rule1) triple5) -> rule2)) -> rule5) OR ((((((triple6 triple5) -> rule2) triple6) -> rule6) triple5) -> rule3) OR ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3) OR ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) triple5) -> rule3) OR ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3))]
("Fiona" "is" "young" "+")
((((triple6 triple5) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((((triple7) -> (rule1 % int3)) triple5) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple6 triple5) -> (rule2 % int3)) triple6) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple6 triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((((triple7) -> (rule1 % int4)) triple5) -> (rule2 % int3)) triple6) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((((triple7) -> (rule1 % int4)) triple5) -> (rule2 % int3)) ((triple7) -> (rule1 % int4))) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is not red.
False
5
inv-proof
[(((((triple6 triple5) -> rule2) triple6) -> rule6) OR ((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) OR ((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) OR ((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6))]
("Fiona" "is" "red" "-")
((((triple6 triple5) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple6 triple5) -> (rule2 % int3)) ((triple7) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple7) -> (rule1 % int3)) triple5) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple7) -> (rule1 % int3)) triple5) -> (rule2 % int2)) ((triple7) -> (rule1 % int3))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is green.
True
10
proof
[(((((((triple6 triple5) -> rule2) triple6) -> rule6) ((((triple6 triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((triple6 triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((triple6 triple5) -> rule2) triple6) -> rule6) ((((((triple7) -> rule1) triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((triple6 triple5) -> rule2) triple6) -> rule6) ((((((triple6 triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) ((((triple6 triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((triple6 triple5) -> rule2) triple6) -> rule6) ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((triple7) -> rule1) triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((triple6 triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) ((((((triple7) -> rule1) triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) ((((((triple6 triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((triple6 triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((triple7) -> rule1) triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((triple6 triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((triple6 triple5) -> rule2) triple6) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((triple6 triple5) -> rule2) triple6) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4))]
("Fiona" "is" "green" "+")
((((((triple6 triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) ((((triple6 triple5) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((triple6 triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple6 triple5) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((triple6 triple5) -> (rule2 % int5)) triple6) -> (rule6 % int4)) ((((((triple7) -> (rule1 % int3)) triple5) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((triple6 triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) ((((((triple6 triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) ((((triple6 triple5) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((triple6 triple5) -> (rule2 % int5)) triple6) -> (rule6 % int4)) ((((((triple6 triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int3))) -> (rule6 % int4)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((triple6 triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((((triple7) -> (rule1 % int4)) triple5) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((triple6 triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((((triple6 triple5) -> (rule2 % int5)) triple6) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) ((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) ((((((triple6 triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((triple6 triple5) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((triple6 triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((((triple6 triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) ((((((triple6 triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((((triple6 triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((((triple6 triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((triple6 triple5) -> (rule2 % int5)) triple6) -> (rule6 % int4)) ((((((((triple7) -> (rule1 % int3)) triple5) -> (rule2 % int5)) triple6) -> (rule6 % int4)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((triple6 triple5) -> (rule2 % int5)) triple6) -> (rule6 % int4)) ((((((((triple7) -> (rule1 % int3)) triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int3))) -> (rule6 % int4)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((triple6 triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((((((triple7) -> (rule1 % int4)) triple5) -> (rule2 % int5)) triple6) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) ((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((triple6 triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((((((triple7) -> (rule1 % int4)) triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) ((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is not green.
False
10
inv-proof
[(((((((triple6 triple5) -> rule2) triple6) -> rule6) ((((triple6 triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((triple6 triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((triple6 triple5) -> rule2) triple6) -> rule6) ((((((triple7) -> rule1) triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((triple6 triple5) -> rule2) triple6) -> rule6) ((((((triple6 triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) ((((triple6 triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((triple6 triple5) -> rule2) triple6) -> rule6) ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((triple7) -> rule1) triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((triple6 triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) ((((((triple7) -> rule1) triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) ((((((triple6 triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((triple6 triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((triple7) -> rule1) triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((triple6 triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((triple6 triple5) -> rule2) triple6) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((triple6 triple5) -> rule2) triple6) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4))]
("Fiona" "is" "green" "-")
((((((triple6 triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) ((((triple6 triple5) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((triple6 triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple6 triple5) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((triple6 triple5) -> (rule2 % int5)) triple6) -> (rule6 % int4)) ((((((triple7) -> (rule1 % int3)) triple5) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((triple6 triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) ((((((triple6 triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) ((((triple6 triple5) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((triple6 triple5) -> (rule2 % int5)) triple6) -> (rule6 % int4)) ((((((triple6 triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int3))) -> (rule6 % int4)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((triple6 triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((((triple7) -> (rule1 % int4)) triple5) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((triple6 triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((((triple6 triple5) -> (rule2 % int5)) triple6) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) ((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) ((((((triple6 triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((triple6 triple5) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((triple6 triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((((triple6 triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) ((((((triple6 triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((((triple6 triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((((triple6 triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((triple6 triple5) -> (rule2 % int5)) triple6) -> (rule6 % int4)) ((((((((triple7) -> (rule1 % int3)) triple5) -> (rule2 % int5)) triple6) -> (rule6 % int4)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((triple6 triple5) -> (rule2 % int5)) triple6) -> (rule6 % int4)) ((((((((triple7) -> (rule1 % int3)) triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int3))) -> (rule6 % int4)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((triple6 triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((((((triple7) -> (rule1 % int4)) triple5) -> (rule2 % int5)) triple6) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) ((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((triple6 triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((((((triple7) -> (rule1 % int4)) triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) ((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Dave is not smart.
Unknown
inv-rconc
[@1: Dave is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "smart" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Dave is green.[(triple1 OR ((triple2 triple4) -> rule4))] Dave is red.[(triple2)] Dave is rough.[(triple3)] Dave is young.[(triple4)] Fiona is cold.[(triple5)] Fiona is rough.[(triple6 OR ((triple7) -> rule1))] Fiona is white.[(triple7)] @1: Fiona is smart.[(((triple6 triple5) -> rule2) OR ((((triple7) -> rule1) triple5) -> rule2))] @2: Fiona is red.[(((((triple6 triple5) -> rule2) triple6) -> rule6) OR ((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) OR ((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) OR ((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6))] Fiona is young.[(((((triple6 triple5) -> rule2)) -> rule5) OR ((((((triple7) -> rule1) triple5) -> rule2)) -> rule5) OR ((((((triple6 triple5) -> rule2) triple6) -> rule6) triple5) -> rule3) OR ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3) OR ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) triple5) -> rule3) OR ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3))] @3: Fiona is green.[(((((((triple6 triple5) -> rule2) triple6) -> rule6) ((((triple6 triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((triple6 triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((triple6 triple5) -> rule2) triple6) -> rule6) ((((((triple7) -> rule1) triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((triple6 triple5) -> rule2) triple6) -> rule6) ((((((triple6 triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) ((((triple6 triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((triple6 triple5) -> rule2) triple6) -> rule6) ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((triple7) -> rule1) triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((triple6 triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) ((((((triple7) -> rule1) triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) ((((((triple6 triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((triple6 triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((triple7) -> rule1) triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((triple6 triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((triple6 triple5) -> rule2) triple6) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((triple6 triple5) -> rule2) triple6) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4))]
Dave is green.
("Dave" "is" "green" "+")
triple1
((triple2 triple4) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
((triple7) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple6 triple5) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple7) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((((triple6 triple5) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple6 triple5) -> (rule2 % int3)) ((triple7) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple7) -> (rule1 % int3)) triple5) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple7) -> (rule1 % int3)) triple5) -> (rule2 % int2)) ((triple7) -> (rule1 % int3))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
((((triple6 triple5) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((((triple7) -> (rule1 % int3)) triple5) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple6 triple5) -> (rule2 % int3)) triple6) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple6 triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((((triple7) -> (rule1 % int4)) triple5) -> (rule2 % int3)) triple6) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((((triple7) -> (rule1 % int4)) triple5) -> (rule2 % int3)) ((triple7) -> (rule1 % int4))) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
((((((triple6 triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) ((((triple6 triple5) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((triple6 triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple6 triple5) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((triple6 triple5) -> (rule2 % int5)) triple6) -> (rule6 % int4)) ((((((triple7) -> (rule1 % int3)) triple5) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((triple6 triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) ((((((triple6 triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) ((((triple6 triple5) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((triple6 triple5) -> (rule2 % int5)) triple6) -> (rule6 % int4)) ((((((triple6 triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int3))) -> (rule6 % int4)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((triple6 triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((((triple7) -> (rule1 % int4)) triple5) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((triple6 triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((((triple6 triple5) -> (rule2 % int5)) triple6) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) ((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) ((((((triple6 triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((triple6 triple5) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((triple6 triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((((triple6 triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) ((((((triple6 triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((((triple6 triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((((triple6 triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((triple6 triple5) -> (rule2 % int5)) triple6) -> (rule6 % int4)) ((((((((triple7) -> (rule1 % int3)) triple5) -> (rule2 % int5)) triple6) -> (rule6 % int4)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((triple6 triple5) -> (rule2 % int5)) triple6) -> (rule6 % int4)) ((((((((triple7) -> (rule1 % int3)) triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int3))) -> (rule6 % int4)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((triple6 triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((((((triple7) -> (rule1 % int4)) triple5) -> (rule2 % int5)) triple6) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) ((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((triple6 triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((((((triple7) -> (rule1 % int4)) triple5) -> (rule2 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) ((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) triple6) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((((((triple7) -> (rule1 % int5)) triple5) -> (rule2 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5