Anne is blue. Anne is not smart. Anne is young. Charlie is big. Charlie is blue. Fiona is big. Harry is blue. Big things are young. All big, blue things are smart. If something is big and young then it is blue. Young things are blue. If something is blue and not big then it is cold. If something is big and nice then it is cold. If something is smart and big then it is nice. If Harry is young and Harry is blue then Harry is cold. If Anne is cold then Anne is rough.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not smart.
("Anne" "is" "smart" "-")
Anne is young.
("Anne" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Big things are young.
((("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
All big, blue things are smart.
((("something" "is" "big" "+") ("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
If something is big and young then it is blue.
((("something" "is" "big" "+") ("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
Young things are blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
If something is blue and not big then it is cold.
((("something" "is" "blue" "+") ("something" "is" "big" "~")) -> ("something" "is" "cold" "+"))
If something is big and nice then it is cold.
((("something" "is" "big" "+") ("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
If something is smart and big then it is nice.
((("something" "is" "smart" "+") ("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
If Harry is young and Harry is blue then Harry is cold.
((("Harry" "is" "young" "+") ("Harry" "is" "blue" "+")) -> ("Harry" "is" "cold" "+"))
If Anne is cold then Anne is rough.
((("Anne" "is" "cold" "+")) -> ("Anne" "is" "rough" "+"))
Charlie is big.
True
1
proof
[(triple4)]
("Charlie" "is" "big" "+")
triple4
Charlie is not big.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "big" "-")
triple4
Fiona is young.
True
2
proof
[(((triple6) -> rule1))]
("Fiona" "is" "young" "+")
((triple6) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Charlie is not smart.
False
3
inv-proof
[(((triple4 triple5) -> rule2) OR ((triple4 ((((triple4) -> rule1)) -> rule4)) -> rule2) OR ((triple4 ((triple4 ((triple4) -> rule1)) -> rule3)) -> rule2))]
("Charlie" "is" "smart" "-")
((triple4 triple5) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple4 ((((triple4) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple4 ((triple4 ((triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
True
5
proof
[(((((triple4 triple5) -> rule2) triple4) -> rule7) OR ((((triple4 ((((triple4) -> rule1)) -> rule4)) -> rule2) triple4) -> rule7) OR ((((triple4 ((triple4 ((triple4) -> rule1)) -> rule3)) -> rule2) triple4) -> rule7))]
("Charlie" "is" "nice" "+")
((((triple4 triple5) -> (rule2 % int2)) triple4) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple4 ((((triple4) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple4) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple4 ((triple4 ((triple4) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple4) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is not nice.
False
5
inv-proof
[(((((triple4 triple5) -> rule2) triple4) -> rule7) OR ((((triple4 ((((triple4) -> rule1)) -> rule4)) -> rule2) triple4) -> rule7) OR ((((triple4 ((triple4 ((triple4) -> rule1)) -> rule3)) -> rule2) triple4) -> rule7))]
("Charlie" "is" "nice" "-")
((((triple4 triple5) -> (rule2 % int2)) triple4) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple4 ((((triple4) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple4) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple4 ((triple4 ((triple4) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple4) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Fiona is smart.
True
5
proof
[(((triple6 ((((triple6) -> rule1)) -> rule4)) -> rule2) OR ((triple6 ((triple6 ((triple6) -> rule1)) -> rule3)) -> rule2))]
("Fiona" "is" "smart" "+")
((triple6 ((((triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((triple6 ((triple6 ((triple6) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Charlie is not cold.
False
7
inv-proof
[(((triple4 ((((triple4 triple5) -> rule2) triple4) -> rule7)) -> rule6) OR ((triple4 ((((triple4 ((((triple4) -> rule1)) -> rule4)) -> rule2) triple4) -> rule7)) -> rule6) OR ((triple4 ((((triple4 ((triple4 ((triple4) -> rule1)) -> rule3)) -> rule2) triple4) -> rule7)) -> rule6))]
("Charlie" "is" "cold" "-")
((triple4 ((((triple4 triple5) -> (rule2 % int3)) triple4) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((triple4 ((((triple4 ((((triple4) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) triple4) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((triple4 ((((triple4 ((triple4 ((triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) triple4) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
Fiona is nice.
True
7
proof
[(((((triple6 ((((triple6) -> rule1)) -> rule4)) -> rule2) triple6) -> rule7) OR ((((triple6 ((triple6 ((triple6) -> rule1)) -> rule3)) -> rule2) triple6) -> rule7))]
("Fiona" "is" "nice" "+")
((((triple6 ((((triple6) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple6) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((triple6 ((triple6 ((triple6) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple6) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is not nice.
False
7
inv-proof
[(((((triple6 ((((triple6) -> rule1)) -> rule4)) -> rule2) triple6) -> rule7) OR ((((triple6 ((triple6 ((triple6) -> rule1)) -> rule3)) -> rule2) triple6) -> rule7))]
("Fiona" "is" "nice" "-")
((((triple6 ((((triple6) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple6) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((triple6 ((triple6 ((triple6) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple6) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is cold.
True
9
proof
[(((triple6 ((((triple6 ((((triple6) -> rule1)) -> rule4)) -> rule2) triple6) -> rule7)) -> rule6) OR ((triple6 ((((triple6 ((triple6 ((triple6) -> rule1)) -> rule3)) -> rule2) triple6) -> rule7)) -> rule6))]
("Fiona" "is" "cold" "+")
((triple6 ((((triple6 ((((triple6) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) triple6) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((triple6 ((((triple6 ((triple6 ((triple6) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) triple6) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Fiona is not cold.
False
9
inv-proof
[(((triple6 ((((triple6 ((((triple6) -> rule1)) -> rule4)) -> rule2) triple6) -> rule7)) -> rule6) OR ((triple6 ((((triple6 ((triple6 ((triple6) -> rule1)) -> rule3)) -> rule2) triple6) -> rule7)) -> rule6))]
("Fiona" "is" "cold" "-")
((triple6 ((((triple6 ((((triple6) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) triple6) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((triple6 ((((triple6 ((triple6 ((triple6) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) triple6) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Anne is not cold.
Unknown
inv-rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "cold" "-")
Anne is nice.
Unknown
rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Anne" "is" "nice" "+")
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "young" "-")
Harry is cold.
Unknown
rconc
[@2: Harry is cold.[CWA. Example of deepest failure = (rule8 <- rule1 <- FAIL)]]
("Harry" "is" "cold" "+")
Anne is not rough.
Unknown
inv-rconc
[@2: Anne is rough.[CWA. Example of deepest failure = (rule9 <- rule5 <- FAIL)]]
("Anne" "is" "rough" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "nice" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
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 blue.[(triple1 OR ((triple3) -> rule4))] Anne is not smart.[(triple2)] Anne is young.[(triple3)] Charlie is big.[(triple4)] Charlie is blue.[(triple5 OR ((((triple4) -> rule1)) -> rule4) OR ((triple4 ((triple4) -> rule1)) -> rule3))] Fiona is big.[(triple6)] Harry is blue.[(triple7)] @1: Charlie is smart.[(((triple4 triple5) -> rule2) OR ((triple4 ((((triple4) -> rule1)) -> rule4)) -> rule2) OR ((triple4 ((triple4 ((triple4) -> rule1)) -> rule3)) -> rule2))] Charlie is young.[(((triple4) -> rule1))] Fiona is young.[(((triple6) -> rule1))] @2: Charlie is nice.[(((((triple4 triple5) -> rule2) triple4) -> rule7) OR ((((triple4 ((((triple4) -> rule1)) -> rule4)) -> rule2) triple4) -> rule7) OR ((((triple4 ((triple4 ((triple4) -> rule1)) -> rule3)) -> rule2) triple4) -> rule7))] Fiona is blue.[(((((triple6) -> rule1)) -> rule4) OR ((triple6 ((triple6) -> rule1)) -> rule3))] @3: Charlie is cold.[(((triple4 ((((triple4 triple5) -> rule2) triple4) -> rule7)) -> rule6) OR ((triple4 ((((triple4 ((((triple4) -> rule1)) -> rule4)) -> rule2) triple4) -> rule7)) -> rule6) OR ((triple4 ((((triple4 ((triple4 ((triple4) -> rule1)) -> rule3)) -> rule2) triple4) -> rule7)) -> rule6))] Fiona is smart.[(((triple6 ((((triple6) -> rule1)) -> rule4)) -> rule2) OR ((triple6 ((triple6 ((triple6) -> rule1)) -> rule3)) -> rule2))] @4: Fiona is nice.[(((((triple6 ((((triple6) -> rule1)) -> rule4)) -> rule2) triple6) -> rule7) OR ((((triple6 ((triple6 ((triple6) -> rule1)) -> rule3)) -> rule2) triple6) -> rule7))] @5: Fiona is cold.[(((triple6 ((((triple6 ((((triple6) -> rule1)) -> rule4)) -> rule2) triple6) -> rule7)) -> rule6) OR ((triple6 ((((triple6 ((triple6 ((triple6) -> rule1)) -> rule3)) -> rule2) triple6) -> rule7)) -> rule6))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple3) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is not smart.
("Anne" "is" "smart" "-")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
((((triple4) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((triple4 ((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple4 triple5) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple4 ((((triple4) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple4 ((triple4 ((triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
((triple4) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple6) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple4 triple5) -> (rule2 % int2)) triple4) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple4 ((((triple4) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple4) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple4 ((triple4 ((triple4) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple4) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple6) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((triple6 ((triple6) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple4 ((((triple4 triple5) -> (rule2 % int3)) triple4) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((triple4 ((((triple4 ((((triple4) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) triple4) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((triple4 ((((triple4 ((triple4 ((triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) triple4) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple6 ((((triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((triple6 ((triple6 ((triple6) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple6 ((((triple6) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple6) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((triple6 ((triple6 ((triple6) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple6) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple6 ((((triple6 ((((triple6) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) triple6) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((triple6 ((((triple6 ((triple6 ((triple6) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) triple6) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5