Bob is green. Bob is kind. Bob is quiet. Bob is red. Bob is round. Bob is smart. Bob is white. Erin is quiet. Erin is red. Erin is smart. Erin is white. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is round. All red people are quiet. White, smart people are green. White people are quiet. Red, quiet people are smart. All white, green people are kind. Smart, kind people are quiet. If someone is white then they are quiet. Red people are green.
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
All red people are quiet.
((("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
White, smart people are green.
((("someone" "is" "white" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
White people are quiet.
((("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
Red, quiet people are smart.
((("someone" "is" "red" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
All white, green people are kind.
((("someone" "is" "white" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
Smart, kind people are quiet.
((("someone" "is" "smart" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
If someone is white then they are quiet.
((("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
Red people are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Bob is round.
True
1
proof
[(triple5)]
("Bob" "is" "round" "+")
triple5
Bob is not smart.
False
1
inv-proof
[(triple6 OR ((triple4 triple3) -> rule4) OR ((triple4 ((triple4) -> rule1)) -> rule4) OR ((triple4 ((triple7) -> rule3)) -> rule4) OR ((triple4 ((triple7) -> rule7)) -> rule4))]
("Bob" "is" "smart" "-")
triple6
((triple4 triple3) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((triple4 ((triple4) -> (rule1 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((triple4 ((triple7) -> (rule3 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((triple4 ((triple7) -> (rule7 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Fiona is smart.
True
3
proof
[(((triple15 triple14) -> rule4) OR ((triple15 ((triple15) -> rule1)) -> rule4))]
("Fiona" "is" "smart" "+")
((triple15 triple14) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple15 ((triple15) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Erin is not green.
False
2
inv-proof
[(((triple9) -> rule8) OR ((triple11 triple10) -> rule2) OR ((triple11 ((triple9 triple8) -> rule4)) -> rule2) OR ((triple11 ((triple9 ((triple11) -> rule3)) -> rule4)) -> rule2) OR ((triple11 ((triple9 ((triple11) -> rule7)) -> rule4)) -> rule2) OR ((triple11 ((triple9 ((triple9) -> rule1)) -> rule4)) -> rule2))]
("Erin" "is" "green" "-")
((triple9) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple11 triple10) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple11 ((triple9 triple8) -> (rule4 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((triple11 ((triple9 ((triple11) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((triple11 ((triple9 ((triple11) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((triple11 ((triple9 ((triple9) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is kind.
True
4
proof
[(((triple11 ((triple9) -> rule8)) -> rule5) OR ((triple11 ((triple11 triple10) -> rule2)) -> rule5) OR ((triple11 ((triple11 ((triple9 triple8) -> rule4)) -> rule2)) -> rule5) OR ((triple11 ((triple11 ((triple9 ((triple11) -> rule3)) -> rule4)) -> rule2)) -> rule5) OR ((triple11 ((triple11 ((triple9 ((triple11) -> rule7)) -> rule4)) -> rule2)) -> rule5) OR ((triple11 ((triple11 ((triple9 ((triple9) -> rule1)) -> rule4)) -> rule2)) -> rule5))]
("Erin" "is" "kind" "+")
((triple11 ((triple9) -> (rule8 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((triple11 ((triple11 triple10) -> (rule2 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((triple11 ((triple11 ((triple9 triple8) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((triple11 ((triple11 ((triple9 ((triple11) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple11 ((triple11 ((triple9 ((triple11) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple11 ((triple11 ((triple9 ((triple9) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is not kind.
False
4
inv-proof
[(((triple11 ((triple9) -> rule8)) -> rule5) OR ((triple11 ((triple11 triple10) -> rule2)) -> rule5) OR ((triple11 ((triple11 ((triple9 triple8) -> rule4)) -> rule2)) -> rule5) OR ((triple11 ((triple11 ((triple9 ((triple11) -> rule3)) -> rule4)) -> rule2)) -> rule5) OR ((triple11 ((triple11 ((triple9 ((triple11) -> rule7)) -> rule4)) -> rule2)) -> rule5) OR ((triple11 ((triple11 ((triple9 ((triple9) -> rule1)) -> rule4)) -> rule2)) -> rule5))]
("Erin" "is" "kind" "-")
((triple11 ((triple9) -> (rule8 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((triple11 ((triple11 triple10) -> (rule2 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((triple11 ((triple11 ((triple9 triple8) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((triple11 ((triple11 ((triple9 ((triple11) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple11 ((triple11 ((triple9 ((triple11) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple11 ((triple11 ((triple9 ((triple9) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Bob is green.[(triple1 OR ((triple4) -> rule8) OR ((triple7 triple6) -> rule2) OR ((triple7 ((triple4 triple3) -> rule4)) -> rule2) OR ((triple7 ((triple4 ((triple4) -> rule1)) -> rule4)) -> rule2) OR ((triple7 ((triple4 ((triple7) -> rule3)) -> rule4)) -> rule2) OR ((triple7 ((triple4 ((triple7) -> rule7)) -> rule4)) -> rule2))] Bob is kind.[(triple2 OR ((triple7 triple1) -> rule5) OR ((triple7 ((triple4) -> rule8)) -> rule5) OR ((triple7 ((triple7 triple6) -> rule2)) -> rule5) OR ((triple7 ((triple7 ((triple4 triple3) -> rule4)) -> rule2)) -> rule5) OR ((triple7 ((triple7 ((triple4 ((triple4) -> rule1)) -> rule4)) -> rule2)) -> rule5) OR ((triple7 ((triple7 ((triple4 ((triple7) -> rule3)) -> rule4)) -> rule2)) -> rule5) OR ((triple7 ((triple7 ((triple4 ((triple7) -> rule7)) -> rule4)) -> rule2)) -> rule5))] Bob is quiet.[(triple3 OR ((triple4) -> rule1) OR ((triple7) -> rule3) OR ((triple7) -> rule7) OR ((triple6 triple2) -> rule6) OR ((triple6 ((triple7 triple1) -> rule5)) -> rule6) OR ((triple6 ((triple7 ((triple4) -> rule8)) -> rule5)) -> rule6) OR ((triple6 ((triple7 ((triple7 triple6) -> rule2)) -> rule5)) -> rule6))] Bob is red.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6 OR ((triple4 triple3) -> rule4) OR ((triple4 ((triple4) -> rule1)) -> rule4) OR ((triple4 ((triple7) -> rule3)) -> rule4) OR ((triple4 ((triple7) -> rule7)) -> rule4))] Bob is white.[(triple7)] Erin is quiet.[(triple8 OR ((triple11) -> rule3) OR ((triple11) -> rule7) OR ((triple9) -> rule1) OR ((triple10 ((triple11 ((triple9) -> rule8)) -> rule5)) -> rule6) OR ((triple10 ((triple11 ((triple11 triple10) -> rule2)) -> rule5)) -> rule6))] Erin is red.[(triple9)] Erin is smart.[(triple10 OR ((triple9 triple8) -> rule4) OR ((triple9 ((triple11) -> rule3)) -> rule4) OR ((triple9 ((triple11) -> rule7)) -> rule4) OR ((triple9 ((triple9) -> rule1)) -> rule4))] Erin is white.[(triple11)] Fiona is green.[(triple12 OR ((triple15) -> rule8))] Fiona is kind.[(triple13)] Fiona is quiet.[(triple14 OR ((triple15) -> rule1))] Fiona is red.[(triple15)] Fiona is round.[(triple16)] @1: Erin is green.[(((triple9) -> rule8) OR ((triple11 triple10) -> rule2) OR ((triple11 ((triple9 triple8) -> rule4)) -> rule2) OR ((triple11 ((triple9 ((triple11) -> rule3)) -> rule4)) -> rule2) OR ((triple11 ((triple9 ((triple11) -> rule7)) -> rule4)) -> rule2) OR ((triple11 ((triple9 ((triple9) -> rule1)) -> rule4)) -> rule2))] Fiona is smart.[(((triple15 triple14) -> rule4) OR ((triple15 ((triple15) -> rule1)) -> rule4))] @2: Erin is kind.[(((triple11 ((triple9) -> rule8)) -> rule5) OR ((triple11 ((triple11 triple10) -> rule2)) -> rule5) OR ((triple11 ((triple11 ((triple9 triple8) -> rule4)) -> rule2)) -> rule5) OR ((triple11 ((triple11 ((triple9 ((triple11) -> rule3)) -> rule4)) -> rule2)) -> rule5) OR ((triple11 ((triple11 ((triple9 ((triple11) -> rule7)) -> rule4)) -> rule2)) -> rule5) OR ((triple11 ((triple11 ((triple9 ((triple9) -> rule1)) -> rule4)) -> rule2)) -> rule5))]
Bob is green.
("Bob" "is" "green" "+")
triple1
((triple4) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple7 triple6) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple7 ((triple4 triple3) -> (rule4 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((triple7 ((triple4 ((triple4) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((triple7 ((triple4 ((triple7) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((triple7 ((triple4 ((triple7) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
((triple7 triple1) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple7 ((triple4) -> (rule8 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((triple7 ((triple7 triple6) -> (rule2 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((triple7 ((triple7 ((triple4 triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((triple7 ((triple7 ((triple4 ((triple4) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((triple7 ((triple7 ((triple4 ((triple7) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((triple7 ((triple7 ((triple4 ((triple7) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
((triple4) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple7) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple7) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple6 triple2) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple6 ((triple7 triple1) -> (rule5 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((triple6 ((triple7 ((triple4) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((triple6 ((triple7 ((triple7 triple6) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
Bob is smart.
("Bob" "is" "smart" "+")
triple6
((triple4 triple3) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((triple4 ((triple4) -> (rule1 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((triple4 ((triple7) -> (rule3 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((triple4 ((triple7) -> (rule7 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
((triple11) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple11) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple9) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple10 ((triple11 ((triple9) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((triple10 ((triple11 ((triple11 triple10) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
triple9
Erin is smart.
("Erin" "is" "smart" "+")
triple10
((triple9 triple8) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple9 ((triple11) -> (rule3 % int2))) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((triple9 ((triple11) -> (rule7 % int2))) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((triple9 ((triple9) -> (rule1 % int2))) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
triple11
Fiona is green.
("Fiona" "is" "green" "+")
triple12
((triple15) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple13
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple14
((triple15) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple15
Fiona is round.
("Fiona" "is" "round" "+")
triple16
Erin is green.
("Erin" "is" "green" "+")
((triple9) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple11 triple10) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple11 ((triple9 triple8) -> (rule4 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((triple11 ((triple9 ((triple11) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((triple11 ((triple9 ((triple11) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((triple11 ((triple9 ((triple9) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple15 triple14) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple15 ((triple15) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
((triple11 ((triple9) -> (rule8 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((triple11 ((triple11 triple10) -> (rule2 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((triple11 ((triple11 ((triple9 triple8) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((triple11 ((triple11 ((triple9 ((triple11) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple11 ((triple11 ((triple9 ((triple11) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple11 ((triple11 ((triple9 ((triple9) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4