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