Bob is big. Charlie is green. Charlie is red. Erin is big. Erin is green. Erin is rough. Erin is white. Fiona is green. Fiona is red. Fiona is smart. Fiona is white. Green, nice people are white. If someone is red then they are nice. All green people are white. All red, nice people are green. If someone is smart then they are red. Big people are nice. If Erin is smart then Erin is big. If someone is big and green then they are red. Nice people are smart.
Bob is big.
("Bob" "is" "big" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Green, nice people are white.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
If someone is red then they are nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
All green people are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
All red, nice people are green.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is smart then they are red.
((("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
Big people are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If Erin is smart then Erin is big.
((("Erin" "is" "smart" "+")) -> ("Erin" "is" "big" "+"))
If someone is big and green then they are red.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
Nice people are smart.
((("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
Erin is green.
True
1
proof
[(triple5 OR ((((((((triple4) -> rule6)) -> rule9)) -> rule5) ((triple4) -> rule6)) -> rule4))]
("Erin" "is" "green" "+")
triple5
((((((((triple4) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule5 % int2)) ((triple4) -> (rule6 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is not rough.
False
1
inv-proof
[(triple6)]
("Erin" "is" "rough" "-")
triple6
Bob is nice.
True
2
proof
[(((triple1) -> rule6))]
("Bob" "is" "nice" "+")
((triple1) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Erin is not nice.
False
2
inv-proof
[(((triple4) -> rule6) OR ((((triple4 triple5) -> rule8)) -> rule2))]
("Erin" "is" "nice" "-")
((triple4) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple4 triple5) -> (rule8 % int2))) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Charlie is smart.
True
3
proof
[(((((triple3) -> rule2)) -> rule9))]
("Charlie" "is" "smart" "+")
((((triple3) -> (rule2 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is not smart.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule9))]
("Charlie" "is" "smart" "-")
((((triple3) -> (rule2 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Bob is red.
True
4
proof
[(((((((triple1) -> rule6)) -> rule9)) -> rule5))]
("Bob" "is" "red" "+")
((((((triple1) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is not red.
False
4
inv-proof
[(((((((triple1) -> rule6)) -> rule9)) -> rule5))]
("Bob" "is" "red" "-")
((((((triple1) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is green.
True
7
proof
[(((((((((triple1) -> rule6)) -> rule9)) -> rule5) ((triple1) -> rule6)) -> rule4))]
("Bob" "is" "green" "+")
((((((((triple1) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule5 % int2)) ((triple1) -> (rule6 % int4))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is not green.
False
7
inv-proof
[(((((((((triple1) -> rule6)) -> rule9)) -> rule5) ((triple1) -> rule6)) -> rule4))]
("Bob" "is" "green" "-")
((((((((triple1) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule5 % int2)) ((triple1) -> (rule6 % int4))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is white.
True
8
proof
[(((((((((((triple1) -> rule6)) -> rule9)) -> rule5) ((triple1) -> rule6)) -> rule4)) -> rule3) OR ((((((((((triple1) -> rule6)) -> rule9)) -> rule5) ((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule1))]
("Bob" "is" "white" "+")
((((((((((triple1) -> (rule6 % int5))) -> (rule9 % int4))) -> (rule5 % int3)) ((triple1) -> (rule6 % int5))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((((((triple1) -> (rule6 % int5))) -> (rule9 % int4))) -> (rule5 % int3)) ((triple1) -> (rule6 % int5))) -> (rule4 % int2)) ((triple1) -> (rule6 % int5))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is not white.
False
8
inv-proof
[(((((((((((triple1) -> rule6)) -> rule9)) -> rule5) ((triple1) -> rule6)) -> rule4)) -> rule3) OR ((((((((((triple1) -> rule6)) -> rule9)) -> rule5) ((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule1))]
("Bob" "is" "white" "-")
((((((((((triple1) -> (rule6 % int5))) -> (rule9 % int4))) -> (rule5 % int3)) ((triple1) -> (rule6 % int5))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((((((triple1) -> (rule6 % int5))) -> (rule9 % int4))) -> (rule5 % int3)) ((triple1) -> (rule6 % int5))) -> (rule4 % int2)) ((triple1) -> (rule6 % int5))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Bob is big.[(triple1)] Charlie is green.[(triple2 OR ((triple3 ((triple3) -> rule2)) -> rule4))] Charlie is red.[(triple3)] Erin is big.[(triple4)] Erin is green.[(triple5 OR ((((((((triple4) -> rule6)) -> rule9)) -> rule5) ((triple4) -> rule6)) -> rule4))] Erin is rough.[(triple6)] Erin is white.[(triple7 OR ((triple5) -> rule3) OR ((triple5 ((triple4) -> rule6)) -> rule1) OR ((triple5 ((((triple4 triple5) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple4) -> rule6)) -> rule9)) -> rule5) ((triple4) -> rule6)) -> rule4)) -> rule3) OR ((((((((((triple4) -> rule6)) -> rule9)) -> rule5) ((triple4) -> rule6)) -> rule4) ((triple4) -> rule6)) -> rule1) OR ((((((((((triple4) -> rule6)) -> rule9)) -> rule5) ((triple4) -> rule6)) -> rule4) ((((triple4 triple5) -> rule8)) -> rule2)) -> rule1))] Fiona is green.[(triple8 OR ((triple9 ((triple9) -> rule2)) -> rule4) OR ((((triple10) -> rule5) ((triple9) -> rule2)) -> rule4) OR ((triple9 ((((triple10) -> rule5)) -> rule2)) -> rule4) OR ((((triple10) -> rule5) ((((triple10) -> rule5)) -> rule2)) -> rule4))] Fiona is red.[(triple9 OR ((triple10) -> rule5))] Fiona is smart.[(triple10 OR ((((triple9) -> rule2)) -> rule9))] Fiona is white.[(triple11 OR ((triple8) -> rule3) OR ((triple8 ((triple9) -> rule2)) -> rule1) OR ((((triple9 ((triple9) -> rule2)) -> rule4)) -> rule3) OR ((triple8 ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((triple10) -> rule5) ((triple9) -> rule2)) -> rule4)) -> rule3) OR ((((triple9 ((triple9) -> rule2)) -> rule4) ((triple9) -> rule2)) -> rule1) OR ((((triple9 ((triple9) -> rule2)) -> rule4) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((triple10) -> rule5) ((triple9) -> rule2)) -> rule4) ((triple9) -> rule2)) -> rule1) OR ((((((triple10) -> rule5) ((triple9) -> rule2)) -> rule4) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((triple9 ((((triple10) -> rule5)) -> rule2)) -> rule4)) -> rule3) OR ((((((triple10) -> rule5) ((((triple10) -> rule5)) -> rule2)) -> rule4)) -> rule3) OR ((((triple9 ((((triple10) -> rule5)) -> rule2)) -> rule4) ((triple9) -> rule2)) -> rule1) OR ((((triple9 ((((triple10) -> rule5)) -> rule2)) -> rule4) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((triple10) -> rule5) ((((triple10) -> rule5)) -> rule2)) -> rule4) ((triple9) -> rule2)) -> rule1) OR ((((((triple10) -> rule5) ((((triple10) -> rule5)) -> rule2)) -> rule4) ((((triple10) -> rule5)) -> rule2)) -> rule1))] @1: Bob is nice.[(((triple1) -> rule6))] Charlie is nice.[(((triple3) -> rule2))] Charlie is white.[(((triple2) -> rule3) OR ((triple2 ((triple3) -> rule2)) -> rule1) OR ((((triple3 ((triple3) -> rule2)) -> rule4)) -> rule3) OR ((((triple3 ((triple3) -> rule2)) -> rule4) ((triple3) -> rule2)) -> rule1))] Erin is nice.[(((triple4) -> rule6) OR ((((triple4 triple5) -> rule8)) -> rule2))] Erin is red.[(((triple4 triple5) -> rule8) OR ((((((triple4) -> rule6)) -> rule9)) -> rule5))] Fiona is nice.[(((triple9) -> rule2) OR ((((triple10) -> rule5)) -> rule2))] @2: Bob is smart.[(((((triple1) -> rule6)) -> rule9))] Charlie is smart.[(((((triple3) -> rule2)) -> rule9))] Erin is smart.[(((((triple4) -> rule6)) -> rule9) OR ((((((triple4 triple5) -> rule8)) -> rule2)) -> rule9))] @3: Bob is red.[(((((((triple1) -> rule6)) -> rule9)) -> rule5))] @4: Bob is green.[(((((((((triple1) -> rule6)) -> rule9)) -> rule5) ((triple1) -> rule6)) -> rule4))] @5: Bob is white.[(((((((((((triple1) -> rule6)) -> rule9)) -> rule5) ((triple1) -> rule6)) -> rule4)) -> rule3) OR ((((((((((triple1) -> rule6)) -> rule9)) -> rule5) ((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
((triple3 ((triple3) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is green.
("Erin" "is" "green" "+")
triple5
((((((((triple4) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule5 % int2)) ((triple4) -> (rule6 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
((triple5) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple5 ((triple4) -> (rule6 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((triple5 ((((triple4 triple5) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((((((triple4) -> (rule6 % int5))) -> (rule9 % int4))) -> (rule5 % int3)) ((triple4) -> (rule6 % int5))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((((((triple4) -> (rule6 % int5))) -> (rule9 % int4))) -> (rule5 % int3)) ((triple4) -> (rule6 % int5))) -> (rule4 % int2)) ((triple4) -> (rule6 % int5))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((((((triple4) -> (rule6 % int5))) -> (rule9 % int4))) -> (rule5 % int3)) ((triple4) -> (rule6 % int5))) -> (rule4 % int2)) ((((triple4 triple5) -> (rule8 % int3))) -> (rule2 % int5))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
triple8
((triple9 ((triple9) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple10) -> (rule5 % int3)) ((triple9) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((triple9 ((((triple10) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((triple10) -> (rule5 % int3)) ((((triple10) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
triple9
((triple10) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
((((triple9) -> (rule2 % int2))) -> (rule9 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
triple11
((triple8) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((triple8 ((triple9) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple9 ((triple9) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((triple8 ((((triple10) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((((triple10) -> (rule5 % int4)) ((triple9) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((triple9 ((triple9) -> (rule2 % int3))) -> (rule4 % int2)) ((triple9) -> (rule2 % int3))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((triple9 ((triple9) -> (rule2 % int4))) -> (rule4 % int3)) ((((triple10) -> (rule5 % int2))) -> (rule2 % int4))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((triple10) -> (rule5 % int4)) ((triple9) -> (rule2 % int3))) -> (rule4 % int2)) ((triple9) -> (rule2 % int3))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((triple10) -> (rule5 % int4)) ((triple9) -> (rule2 % int3))) -> (rule4 % int2)) ((((triple10) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((triple9 ((((triple10) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((triple10) -> (rule5 % int4)) ((((triple10) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((triple9 ((((triple10) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple9) -> (rule2 % int3))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((triple9 ((((triple10) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((((triple10) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((triple10) -> (rule5 % int4)) ((((triple10) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple9) -> (rule2 % int3))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((triple10) -> (rule5 % int4)) ((((triple10) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((((triple10) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
((triple1) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple3) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
((triple2) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((triple2 ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple3 ((triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple3 ((triple3) -> (rule2 % int3))) -> (rule4 % int2)) ((triple3) -> (rule2 % int3))) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
((triple4) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple4 triple5) -> (rule8 % int2))) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
((triple4 triple5) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((((((triple4) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple9) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((triple10) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
((((triple1) -> (rule6 % int2))) -> (rule9 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
((((triple3) -> (rule2 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
((((triple4) -> (rule6 % int2))) -> (rule9 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((((triple4 triple5) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
((((((triple1) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
((((((((triple1) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule5 % int2)) ((triple1) -> (rule6 % int4))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
((((((((((triple1) -> (rule6 % int5))) -> (rule9 % int4))) -> (rule5 % int3)) ((triple1) -> (rule6 % int5))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((((((triple1) -> (rule6 % int5))) -> (rule9 % int4))) -> (rule5 % int3)) ((triple1) -> (rule6 % int5))) -> (rule4 % int2)) ((triple1) -> (rule6 % int5))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5