Anne is cold. Anne is nice. Dave is nice. Dave is white. Fiona is nice. Harry is blue. Harry is nice. All smart, green people are nice. All rough people are nice. If someone is nice then they are smart. If someone is cold then they are green. Smart people are blue. Green people are rough. Rough, smart people are white. If Fiona is smart and Fiona is nice then Fiona is cold. All cold people are green.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is nice.
("Harry" "is" "nice" "+")
All smart, green people are nice.
((("someone" "is" "smart" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
All rough people are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice then they are smart.
((("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
If someone is cold then they are green.
((("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Smart people are blue.
((("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
Green people are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Rough, smart people are white.
((("someone" "is" "rough" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
If Fiona is smart and Fiona is nice then Fiona is cold.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "cold" "+"))
All cold people are green.
((("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Dave is white.
True
1
proof
[(triple4)]
("Dave" "is" "white" "+")
triple4
Dave is not white.
False
1
inv-proof
[(triple4)]
("Dave" "is" "white" "-")
triple4
Harry is smart.
True
2
proof
[(((triple7) -> rule3))]
("Harry" "is" "smart" "+")
((triple7) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is not smart.
False
2
inv-proof
[(((triple7) -> rule3))]
("Harry" "is" "smart" "-")
((triple7) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Anne is rough.
True
3
proof
[(((((triple1) -> rule4)) -> rule6) OR ((((triple1) -> rule9)) -> rule6))]
("Anne" "is" "rough" "+")
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple1) -> (rule9 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is not blue.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule5) OR ((((((((((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((((((((((triple1) -> rule9)) -> rule6)) -> rule2)) -> rule3)) -> rule5))]
("Anne" "is" "blue" "-")
((((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((((((((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((((((((triple1) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
Fiona is green.
True
5
proof
[(((((((triple5) -> rule3) triple5) -> rule8)) -> rule4) OR ((((((triple5) -> rule3) triple5) -> rule8)) -> rule9))]
("Fiona" "is" "green" "+")
((((((triple5) -> (rule3 % int3)) triple5) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple5) -> (rule3 % int3)) triple5) -> (rule8 % int2))) -> (rule9 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Anne is not white.
False
6
inv-proof
[(((((((triple1) -> rule4)) -> rule6) ((triple2) -> rule3)) -> rule7) OR ((((((triple1) -> rule9)) -> rule6) ((triple2) -> rule3)) -> rule7) OR ((((((triple1) -> rule4)) -> rule6) ((((((((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule3)) -> rule7) OR ((((((triple1) -> rule4)) -> rule6) ((((((((triple1) -> rule9)) -> rule6)) -> rule2)) -> rule3)) -> rule7) OR ((((((triple1) -> rule9)) -> rule6) ((((((((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule3)) -> rule7) OR ((((((triple1) -> rule9)) -> rule6) ((((((((triple1) -> rule9)) -> rule6)) -> rule2)) -> rule3)) -> rule7))]
("Anne" "is" "white" "-")
((((((triple1) -> (rule4 % int4))) -> (rule6 % int3)) ((triple2) -> (rule3 % int2))) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple1) -> (rule9 % int4))) -> (rule6 % int3)) ((triple2) -> (rule3 % int2))) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple1) -> (rule4 % int5))) -> (rule6 % int4)) ((((((((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((((triple1) -> (rule4 % int5))) -> (rule6 % int4)) ((((((((triple1) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((((triple1) -> (rule9 % int5))) -> (rule6 % int4)) ((((((((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((((triple1) -> (rule9 % int5))) -> (rule6 % int4)) ((((((((triple1) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
Fiona is rough.
True
6
proof
[(((((((((triple5) -> rule3) triple5) -> rule8)) -> rule4)) -> rule6) OR ((((((((triple5) -> rule3) triple5) -> rule8)) -> rule9)) -> rule6))]
("Fiona" "is" "rough" "+")
((((((((triple5) -> (rule3 % int4)) triple5) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((((triple5) -> (rule3 % int4)) triple5) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is not rough.
False
6
inv-proof
[(((((((((triple5) -> rule3) triple5) -> rule8)) -> rule4)) -> rule6) OR ((((((((triple5) -> rule3) triple5) -> rule8)) -> rule9)) -> rule6))]
("Fiona" "is" "rough" "-")
((((((((triple5) -> (rule3 % int4)) triple5) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((((triple5) -> (rule3 % int4)) triple5) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is white.
True
9
proof
[(((((((((((triple5) -> rule3) triple5) -> rule8)) -> rule4)) -> rule6) ((triple5) -> rule3)) -> rule7) OR ((((((((((triple5) -> rule3) triple5) -> rule8)) -> rule9)) -> rule6) ((triple5) -> rule3)) -> rule7))]
("Fiona" "is" "white" "+")
((((((((((triple5) -> (rule3 % int5)) triple5) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) ((triple5) -> (rule3 % int5))) -> (rule7 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((((triple5) -> (rule3 % int5)) triple5) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule6 % int2)) ((triple5) -> (rule3 % int5))) -> (rule7 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
Fiona is not white.
False
9
inv-proof
[(((((((((((triple5) -> rule3) triple5) -> rule8)) -> rule4)) -> rule6) ((triple5) -> rule3)) -> rule7) OR ((((((((((triple5) -> rule3) triple5) -> rule8)) -> rule9)) -> rule6) ((triple5) -> rule3)) -> rule7))]
("Fiona" "is" "white" "-")
((((((((((triple5) -> (rule3 % int5)) triple5) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) ((triple5) -> (rule3 % int5))) -> (rule7 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((((triple5) -> (rule3 % int5)) triple5) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule6 % int2)) ((triple5) -> (rule3 % int5))) -> (rule7 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
Harry is not white.
Unknown
inv-rconc
[@3: Harry is white.[CWA. Example of deepest failure = (rule7 <- rule6 <- rule4 <- FAIL)]]
("Harry" "is" "white" "-")
Dave is rough.
Unknown
rconc
[@2: Dave is rough.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Dave" "is" "rough" "+")
Harry is not rough.
Unknown
inv-rconc
[@2: Harry is rough.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Harry" "is" "rough" "-")
Dave is green.
Unknown
rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "green" "+")
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "green" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2 OR ((((((triple1) -> rule4)) -> rule6)) -> rule2) OR ((((((triple1) -> rule9)) -> rule6)) -> rule2))] Dave is nice.[(triple3)] Dave is white.[(triple4)] Fiona is nice.[(triple5)] Harry is blue.[(triple6 OR ((((triple7) -> rule3)) -> rule5))] Harry is nice.[(triple7)] @1: Anne is green.[(((triple1) -> rule4) OR ((triple1) -> rule9))] Anne is smart.[(((triple2) -> rule3) OR ((((((((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule3) OR ((((((((triple1) -> rule9)) -> rule6)) -> rule2)) -> rule3))] Dave is smart.[(((triple3) -> rule3))] Fiona is smart.[(((triple5) -> rule3))] Harry is smart.[(((triple7) -> rule3))] @2: Anne is blue.[(((((triple2) -> rule3)) -> rule5) OR ((((((((((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((((((((((triple1) -> rule9)) -> rule6)) -> rule2)) -> rule3)) -> rule5))] Anne is rough.[(((((triple1) -> rule4)) -> rule6) OR ((((triple1) -> rule9)) -> rule6))] Dave is blue.[(((((triple3) -> rule3)) -> rule5))] Fiona is blue.[(((((triple5) -> rule3)) -> rule5))] Fiona is cold.[(((((triple5) -> rule3) triple5) -> rule8))] @3: Anne is white.[(((((((triple1) -> rule4)) -> rule6) ((triple2) -> rule3)) -> rule7) OR ((((((triple1) -> rule9)) -> rule6) ((triple2) -> rule3)) -> rule7) OR ((((((triple1) -> rule4)) -> rule6) ((((((((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule3)) -> rule7) OR ((((((triple1) -> rule4)) -> rule6) ((((((((triple1) -> rule9)) -> rule6)) -> rule2)) -> rule3)) -> rule7) OR ((((((triple1) -> rule9)) -> rule6) ((((((((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule3)) -> rule7) OR ((((((triple1) -> rule9)) -> rule6) ((((((((triple1) -> rule9)) -> rule6)) -> rule2)) -> rule3)) -> rule7))] Fiona is green.[(((((((triple5) -> rule3) triple5) -> rule8)) -> rule4) OR ((((((triple5) -> rule3) triple5) -> rule8)) -> rule9))] @4: Fiona is rough.[(((((((((triple5) -> rule3) triple5) -> rule8)) -> rule4)) -> rule6) OR ((((((((triple5) -> rule3) triple5) -> rule8)) -> rule9)) -> rule6))] @5: Fiona is white.[(((((((((((triple5) -> rule3) triple5) -> rule8)) -> rule4)) -> rule6) ((triple5) -> rule3)) -> rule7) OR ((((((((((triple5) -> rule3) triple5) -> rule8)) -> rule9)) -> rule6) ((triple5) -> rule3)) -> rule7))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
((((((triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((((triple1) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is white.
("Dave" "is" "white" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple6
((((triple7) -> (rule3 % int2))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Anne is green.
("Anne" "is" "green" "+")
((triple1) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple1) -> (rule9 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
((triple2) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((((((((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((((triple1) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
((triple3) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple5) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple7) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
((((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((((((((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((((((((triple1) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
Anne is rough.
("Anne" "is" "rough" "+")
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple1) -> (rule9 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((((triple3) -> (rule3 % int2))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple5) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple5) -> (rule3 % int2)) triple5) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
((((((triple1) -> (rule4 % int4))) -> (rule6 % int3)) ((triple2) -> (rule3 % int2))) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple1) -> (rule9 % int4))) -> (rule6 % int3)) ((triple2) -> (rule3 % int2))) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple1) -> (rule4 % int5))) -> (rule6 % int4)) ((((((((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((((triple1) -> (rule4 % int5))) -> (rule6 % int4)) ((((((((triple1) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((((triple1) -> (rule9 % int5))) -> (rule6 % int4)) ((((((((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((((triple1) -> (rule9 % int5))) -> (rule6 % int4)) ((((((((triple1) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
((((((triple5) -> (rule3 % int3)) triple5) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple5) -> (rule3 % int3)) triple5) -> (rule8 % int2))) -> (rule9 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
((((((((triple5) -> (rule3 % int4)) triple5) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((((triple5) -> (rule3 % int4)) triple5) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
((((((((((triple5) -> (rule3 % int5)) triple5) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) ((triple5) -> (rule3 % int5))) -> (rule7 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((((triple5) -> (rule3 % int5)) triple5) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule6 % int2)) ((triple5) -> (rule3 % int5))) -> (rule7 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5