Anne is nice. Anne is white. Anne is not young. Charlie is nice. Charlie is smart. Fiona is round. Fiona is smart. Harry is red. Harry is smart. Harry is young. Red, young people are nice. If someone is white then they are nice. Smart, red people are nice. If someone is smart then they are red. All smart, young people are red. All young, red people are smart. Round, nice people are not white. All red people are young.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is not young.
("Anne" "is" "young" "-")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
Red, young people are nice.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is white then they are nice.
((("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
Smart, red people are nice.
((("someone" "is" "smart" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is smart then they are red.
((("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
All smart, young people are red.
((("someone" "is" "smart" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
All young, red people are smart.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
Round, nice people are not white.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "white" "-"))
All red people are young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
Anne is not young.
True
1
proof
[(triple3)]
("Anne" "is" "young" "-")
triple3
Anne is not nice.
False
1
inv-proof
[(triple1 OR ((triple2) -> rule2))]
("Anne" "is" "nice" "-")
triple1
((triple2) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Harry is nice.
True
3
proof
[(((triple8 triple10) -> rule1) OR ((triple9 triple8) -> rule3) OR ((triple8 ((triple8) -> rule8)) -> rule1) OR ((triple9 ((triple9) -> rule4)) -> rule3) OR ((triple9 ((triple9 triple10) -> rule5)) -> rule3) OR ((((triple9) -> rule4) triple10) -> rule1) OR ((((triple10 triple8) -> rule6) triple8) -> rule3) OR ((((triple9 triple10) -> rule5) triple10) -> rule1) OR ((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) OR ((((triple10 triple8) -> rule6) ((triple9) -> rule4)) -> rule3) OR ((((triple10 triple8) -> rule6) ((triple9 triple10) -> rule5)) -> rule3) OR ((((triple9 triple10) -> rule5) ((triple8) -> rule8)) -> rule1) OR ((triple8 ((((triple9) -> rule4)) -> rule8)) -> rule1) OR ((((((triple8) -> rule8) triple8) -> rule6) triple8) -> rule3) OR ((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule8)) -> rule1) OR ((((triple9 triple10) -> rule5) ((((triple9) -> rule4)) -> rule8)) -> rule1) OR ((((((triple8) -> rule8) triple8) -> rule6) ((triple9) -> rule4)) -> rule3) OR ((((((triple8) -> rule8) triple8) -> rule6) ((triple9 triple10) -> rule5)) -> rule3))]
("Harry" "is" "nice" "+")
((triple8 triple10) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple9 triple8) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple8 ((triple8) -> (rule8 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((triple9 ((triple9) -> (rule4 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((triple9 ((triple9 triple10) -> (rule5 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple9) -> (rule4 % int2)) triple10) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple10 triple8) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple9 triple10) -> (rule5 % int2)) triple10) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple9) -> (rule4 % int3)) ((triple8) -> (rule8 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple10 triple8) -> (rule6 % int3)) ((triple9) -> (rule4 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((triple10 triple8) -> (rule6 % int3)) ((triple9 triple10) -> (rule5 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((triple9 triple10) -> (rule5 % int3)) ((triple8) -> (rule8 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple8 ((((triple9) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple8) -> (rule8 % int3)) triple8) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((triple9) -> (rule4 % int3)) ((((triple9) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple9 triple10) -> (rule5 % int3)) ((((triple9) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple8) -> (rule8 % int4)) triple8) -> (rule6 % int3)) ((triple9) -> (rule4 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple8) -> (rule8 % int4)) triple8) -> (rule6 % int3)) ((triple9 triple10) -> (rule5 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Fiona is not red.
False
2
inv-proof
[(((triple7) -> rule4))]
("Fiona" "is" "red" "-")
((triple7) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is nice.
True
4
proof
[(((triple7 ((triple7) -> rule4)) -> rule3) OR ((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule8)) -> rule1))]
("Fiona" "is" "nice" "+")
((triple7 ((triple7) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple7) -> (rule4 % int3)) ((((triple7) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is not young.
False
3
inv-proof
[(((((triple7) -> rule4)) -> rule8))]
("Fiona" "is" "young" "-")
((((triple7) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is not white.
True
6
proof
[(((triple6 ((triple7 ((triple7) -> rule4)) -> rule3)) -> rule7) OR ((triple6 ((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule8)) -> rule1)) -> rule7))]
("Fiona" "is" "white" "-")
((triple6 ((triple7 ((triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((triple6 ((((triple7) -> (rule4 % int4)) ((((triple7) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is white.
False
6
inv-proof
[(((triple6 ((triple7 ((triple7) -> rule4)) -> rule3)) -> rule7) OR ((triple6 ((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule8)) -> rule1)) -> rule7))]
("Fiona" "is" "white" "+")
((triple6 ((triple7 ((triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((triple6 ((((triple7) -> (rule4 % int4)) ((((triple7) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "smart" "-")
Anne is red.
Unknown
rconc
[@2: Anne is red.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Anne" "is" "red" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Anne is nice.[(triple1 OR ((triple2) -> rule2))] Anne is not young.[(triple3)] Anne is white.[(triple2)] Charlie is nice.[(triple4 OR ((triple5 ((triple5) -> rule4)) -> rule3) OR ((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule8)) -> rule1))] Charlie is smart.[(triple5)] Fiona is round.[(triple6)] Fiona is smart.[(triple7)] Harry is red.[(triple8 OR ((triple9) -> rule4) OR ((triple9 triple10) -> rule5))] Harry is smart.[(triple9 OR ((triple10 triple8) -> rule6) OR ((((triple8) -> rule8) triple8) -> rule6))] Harry is young.[(triple10 OR ((triple8) -> rule8) OR ((((triple9) -> rule4)) -> rule8))] @1: Charlie is red.[(((triple5) -> rule4))] Fiona is red.[(((triple7) -> rule4))] Harry is nice.[(((triple8 triple10) -> rule1) OR ((triple9 triple8) -> rule3) OR ((triple8 ((triple8) -> rule8)) -> rule1) OR ((triple9 ((triple9) -> rule4)) -> rule3) OR ((triple9 ((triple9 triple10) -> rule5)) -> rule3) OR ((((triple9) -> rule4) triple10) -> rule1) OR ((((triple10 triple8) -> rule6) triple8) -> rule3) OR ((((triple9 triple10) -> rule5) triple10) -> rule1) OR ((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) OR ((((triple10 triple8) -> rule6) ((triple9) -> rule4)) -> rule3) OR ((((triple10 triple8) -> rule6) ((triple9 triple10) -> rule5)) -> rule3) OR ((((triple9 triple10) -> rule5) ((triple8) -> rule8)) -> rule1) OR ((triple8 ((((triple9) -> rule4)) -> rule8)) -> rule1) OR ((((((triple8) -> rule8) triple8) -> rule6) triple8) -> rule3) OR ((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule8)) -> rule1) OR ((((triple9 triple10) -> rule5) ((((triple9) -> rule4)) -> rule8)) -> rule1) OR ((((((triple8) -> rule8) triple8) -> rule6) ((triple9) -> rule4)) -> rule3) OR ((((((triple8) -> rule8) triple8) -> rule6) ((triple9 triple10) -> rule5)) -> rule3))] @2: Charlie is young.[(((((triple5) -> rule4)) -> rule8))] Fiona is nice.[(((triple7 ((triple7) -> rule4)) -> rule3) OR ((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule8)) -> rule1))] Fiona is young.[(((((triple7) -> rule4)) -> rule8))] @3: Fiona is not white.[(((triple6 ((triple7 ((triple7) -> rule4)) -> rule3)) -> rule7) OR ((triple6 ((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule8)) -> rule1)) -> rule7))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
((triple2) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is not young.
("Anne" "is" "young" "-")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
((triple5 ((triple5) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((triple5) -> (rule4 % int3)) ((((triple5) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Harry is red.
("Harry" "is" "red" "+")
triple8
((triple9) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((triple9 triple10) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
triple9
((triple10 triple8) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple8) -> (rule8 % int2)) triple8) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
triple10
((triple8) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((((triple9) -> (rule4 % int2))) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((triple5) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple7) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple8 triple10) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple9 triple8) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple8 ((triple8) -> (rule8 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((triple9 ((triple9) -> (rule4 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((triple9 ((triple9 triple10) -> (rule5 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple9) -> (rule4 % int2)) triple10) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple10 triple8) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple9 triple10) -> (rule5 % int2)) triple10) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple9) -> (rule4 % int3)) ((triple8) -> (rule8 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple10 triple8) -> (rule6 % int3)) ((triple9) -> (rule4 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((triple10 triple8) -> (rule6 % int3)) ((triple9 triple10) -> (rule5 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((triple9 triple10) -> (rule5 % int3)) ((triple8) -> (rule8 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple8 ((((triple9) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple8) -> (rule8 % int3)) triple8) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((triple9) -> (rule4 % int3)) ((((triple9) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple9 triple10) -> (rule5 % int3)) ((((triple9) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple8) -> (rule8 % int4)) triple8) -> (rule6 % int3)) ((triple9) -> (rule4 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple8) -> (rule8 % int4)) triple8) -> (rule6 % int3)) ((triple9 triple10) -> (rule5 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
((((triple5) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple7 ((triple7) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple7) -> (rule4 % int3)) ((((triple7) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
((((triple7) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is not white.
("Fiona" "is" "white" "-")
((triple6 ((triple7 ((triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((triple6 ((((triple7) -> (rule4 % int4)) ((((triple7) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4