Bob is big. Bob is quiet. Dave is nice. Dave is quiet. Dave is red. Erin is big. Erin is blue. Erin is kind. Erin is nice. Erin is red. Fiona is nice. Fiona is rough. If Erin is red and Erin is kind then Erin is nice. If something is red and kind then it is blue. Big things are rough. If something is nice and quiet then it is red. Nice things are quiet. If something is blue and red then it is big. If something is big and rough then it is red. If Fiona is red and Fiona is rough then Fiona is kind.
Bob is big.
("Bob" "is" "big" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
If Erin is red and Erin is kind then Erin is nice.
((("Erin" "is" "red" "+") ("Erin" "is" "kind" "+")) -> ("Erin" "is" "nice" "+"))
If something is red and kind then it is blue.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
Big things are rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
If something is nice and quiet then it is red.
((("something" "is" "nice" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "red" "+"))
Nice things are quiet.
((("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
If something is blue and red then it is big.
((("something" "is" "blue" "+") ("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
If something is big and rough then it is red.
((("something" "is" "big" "+") ("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
If Fiona is red and Fiona is rough then Fiona is kind.
((("Fiona" "is" "red" "+") ("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "kind" "+"))
Erin is kind.
True
1
proof
[(triple8)]
("Erin" "is" "kind" "+")
triple8
Erin is not red.
False
1
inv-proof
[(triple10 OR ((triple6 ((triple6) -> rule3)) -> rule7) OR ((triple9 ((triple9) -> rule5)) -> rule4))]
("Erin" "is" "red" "-")
triple10
((triple6 ((triple6) -> (rule3 % int2))) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((triple9 ((triple9) -> (rule5 % int2))) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is quiet.
True
2
proof
[(((triple9) -> rule5) OR ((((triple10 triple8) -> rule1)) -> rule5) OR ((((((triple6 ((triple6) -> rule3)) -> rule7) triple8) -> rule1)) -> rule5))]
("Erin" "is" "quiet" "+")
((triple9) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple10 triple8) -> (rule1 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((((triple6 ((triple6) -> (rule3 % int4))) -> (rule7 % int3)) triple8) -> (rule1 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is not quiet.
False
2
inv-proof
[(((triple9) -> rule5) OR ((((triple10 triple8) -> rule1)) -> rule5) OR ((((((triple6 ((triple6) -> rule3)) -> rule7) triple8) -> rule1)) -> rule5))]
("Erin" "is" "quiet" "-")
((triple9) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple10 triple8) -> (rule1 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((((triple6 ((triple6) -> (rule3 % int4))) -> (rule7 % int3)) triple8) -> (rule1 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Fiona is red.
True
4
proof
[(((triple11 ((triple11) -> rule5)) -> rule4))]
("Fiona" "is" "red" "+")
((triple11 ((triple11) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Bob is not red.
False
4
inv-proof
[(((triple1 ((triple1) -> rule3)) -> rule7))]
("Bob" "is" "red" "-")
((triple1 ((triple1) -> (rule3 % int2))) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Fiona is kind.
True
6
proof
[(((((triple11 ((triple11) -> rule5)) -> rule4) triple12) -> rule8))]
("Fiona" "is" "kind" "+")
((((triple11 ((triple11) -> (rule5 % int3))) -> (rule4 % int2)) triple12) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is not kind.
False
6
inv-proof
[(((((triple11 ((triple11) -> rule5)) -> rule4) triple12) -> rule8))]
("Fiona" "is" "kind" "-")
((((triple11 ((triple11) -> (rule5 % int3))) -> (rule4 % int2)) triple12) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is blue.
True
11
proof
[(((((triple11 ((triple11) -> rule5)) -> rule4) ((((triple11 ((triple11) -> rule5)) -> rule4) triple12) -> rule8)) -> rule2))]
("Fiona" "is" "blue" "+")
((((triple11 ((triple11) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple11 ((triple11) -> (rule5 % int4))) -> (rule4 % int3)) triple12) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is not blue.
False
11
inv-proof
[(((((triple11 ((triple11) -> rule5)) -> rule4) ((((triple11 ((triple11) -> rule5)) -> rule4) triple12) -> rule8)) -> rule2))]
("Fiona" "is" "blue" "-")
((((triple11 ((triple11) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple11 ((triple11) -> (rule5 % int4))) -> (rule4 % int3)) triple12) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is big.
True
16
proof
[(((((((triple11 ((triple11) -> rule5)) -> rule4) ((((triple11 ((triple11) -> rule5)) -> rule4) triple12) -> rule8)) -> rule2) ((triple11 ((triple11) -> rule5)) -> rule4)) -> rule6))]
("Fiona" "is" "big" "+")
((((((triple11 ((triple11) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple11 ((triple11) -> (rule5 % int5))) -> (rule4 % int4)) triple12) -> (rule8 % int3))) -> (rule2 % int2)) ((triple11 ((triple11) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Fiona is not big.
False
16
inv-proof
[(((((((triple11 ((triple11) -> rule5)) -> rule4) ((((triple11 ((triple11) -> rule5)) -> rule4) triple12) -> rule8)) -> rule2) ((triple11 ((triple11) -> rule5)) -> rule4)) -> rule6))]
("Fiona" "is" "big" "-")
((((((triple11 ((triple11) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple11 ((triple11) -> (rule5 % int5))) -> (rule4 % int4)) triple12) -> (rule8 % int3))) -> (rule2 % int2)) ((triple11 ((triple11) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Dave is not rough.
Unknown
inv-rconc
[@3: Dave is rough.[CWA. Example of deepest failure = (rule3 <- rule6 <- rule2 <- FAIL)]]
("Dave" "is" "rough" "-")
Dave is blue.
Unknown
rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "blue" "+")
Dave is not big.
Unknown
inv-rconc
[@2: Dave is big.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Dave" "is" "big" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "blue" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2)] Dave is nice.[(triple3)] Dave is quiet.[(triple4 OR ((triple3) -> rule5))] Dave is red.[(triple5 OR ((triple3 triple4) -> rule4) OR ((triple3 ((triple3) -> rule5)) -> rule4))] Erin is big.[(triple6 OR ((triple7 triple10) -> rule6) OR ((((triple10 triple8) -> rule2) triple10) -> rule6) OR ((triple7 ((triple9 ((triple9) -> rule5)) -> rule4)) -> rule6) OR ((((triple10 triple8) -> rule2) ((triple9 ((triple9) -> rule5)) -> rule4)) -> rule6) OR ((((((triple9 ((triple9) -> rule5)) -> rule4) triple8) -> rule2) triple10) -> rule6) OR ((((((triple9 ((triple9) -> rule5)) -> rule4) triple8) -> rule2) ((triple9 ((triple9) -> rule5)) -> rule4)) -> rule6))] Erin is blue.[(triple7 OR ((triple10 triple8) -> rule2) OR ((((triple6 ((triple6) -> rule3)) -> rule7) triple8) -> rule2) OR ((((triple9 ((triple9) -> rule5)) -> rule4) triple8) -> rule2))] Erin is kind.[(triple8)] Erin is nice.[(triple9 OR ((triple10 triple8) -> rule1) OR ((((triple6 ((triple6) -> rule3)) -> rule7) triple8) -> rule1))] Erin is red.[(triple10 OR ((triple6 ((triple6) -> rule3)) -> rule7) OR ((triple9 ((triple9) -> rule5)) -> rule4))] Fiona is nice.[(triple11)] Fiona is rough.[(triple12)] @1: Bob is rough.[(((triple1) -> rule3))] Erin is quiet.[(((triple9) -> rule5) OR ((((triple10 triple8) -> rule1)) -> rule5) OR ((((((triple6 ((triple6) -> rule3)) -> rule7) triple8) -> rule1)) -> rule5))] Erin is rough.[(((triple6) -> rule3) OR ((((triple7 triple10) -> rule6)) -> rule3) OR ((((((triple10 triple8) -> rule2) triple10) -> rule6)) -> rule3) OR ((((triple7 ((triple9 ((triple9) -> rule5)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple10 triple8) -> rule2) ((triple9 ((triple9) -> rule5)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple9 ((triple9) -> rule5)) -> rule4) triple8) -> rule2) triple10) -> rule6)) -> rule3) OR ((((((((triple9 ((triple9) -> rule5)) -> rule4) triple8) -> rule2) ((triple9 ((triple9) -> rule5)) -> rule4)) -> rule6)) -> rule3))] Fiona is quiet.[(((triple11) -> rule5))] @2: Bob is red.[(((triple1 ((triple1) -> rule3)) -> rule7))] Fiona is red.[(((triple11 ((triple11) -> rule5)) -> rule4))] @3: Fiona is kind.[(((((triple11 ((triple11) -> rule5)) -> rule4) triple12) -> rule8))] @4: Fiona is blue.[(((((triple11 ((triple11) -> rule5)) -> rule4) ((((triple11 ((triple11) -> rule5)) -> rule4) triple12) -> rule8)) -> rule2))] @5: Fiona is big.[(((((((triple11 ((triple11) -> rule5)) -> rule4) ((((triple11 ((triple11) -> rule5)) -> rule4) triple12) -> rule8)) -> rule2) ((triple11 ((triple11) -> rule5)) -> rule4)) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
((triple3) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
triple5
((triple3 triple4) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((triple3 ((triple3) -> (rule5 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
triple6
((triple7 triple10) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple10 triple8) -> (rule2 % int2)) triple10) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((triple7 ((triple9 ((triple9) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((triple10 triple8) -> (rule2 % int4)) ((triple9 ((triple9) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((triple9 ((triple9) -> (rule5 % int4))) -> (rule4 % int3)) triple8) -> (rule2 % int2)) triple10) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple9 ((triple9) -> (rule5 % int4))) -> (rule4 % int3)) triple8) -> (rule2 % int2)) ((triple9 ((triple9) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
triple7
((triple10 triple8) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((triple6 ((triple6) -> (rule3 % int3))) -> (rule7 % int2)) triple8) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((triple9 ((triple9) -> (rule5 % int3))) -> (rule4 % int2)) triple8) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
triple8
Erin is nice.
("Erin" "is" "nice" "+")
triple9
((triple10 triple8) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple6 ((triple6) -> (rule3 % int3))) -> (rule7 % int2)) triple8) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
triple10
((triple6 ((triple6) -> (rule3 % int2))) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((triple9 ((triple9) -> (rule5 % int2))) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple11
Fiona is rough.
("Fiona" "is" "rough" "+")
triple12
Bob is rough.
("Bob" "is" "rough" "+")
((triple1) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple9) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple10 triple8) -> (rule1 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((((triple6 ((triple6) -> (rule3 % int4))) -> (rule7 % int3)) triple8) -> (rule1 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
((triple6) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((triple7 triple10) -> (rule6 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((((triple10 triple8) -> (rule2 % int3)) triple10) -> (rule6 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple7 ((triple9 ((triple9) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple10 triple8) -> (rule2 % int5)) ((triple9 ((triple9) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((((triple9 ((triple9) -> (rule5 % int5))) -> (rule4 % int4)) triple8) -> (rule2 % int3)) triple10) -> (rule6 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((((triple9 ((triple9) -> (rule5 % int5))) -> (rule4 % int4)) triple8) -> (rule2 % int3)) ((triple9 ((triple9) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple11) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((triple1 ((triple1) -> (rule3 % int2))) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((triple11 ((triple11) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple11 ((triple11) -> (rule5 % int3))) -> (rule4 % int2)) triple12) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple11 ((triple11) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple11 ((triple11) -> (rule5 % int4))) -> (rule4 % int3)) triple12) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
((((((triple11 ((triple11) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple11 ((triple11) -> (rule5 % int5))) -> (rule4 % int4)) triple12) -> (rule8 % int3))) -> (rule2 % int2)) ((triple11 ((triple11) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5