Bob is blue. Bob is nice. Bob is quiet. Bob is rough. Charlie is blue. Charlie is furry. Charlie is rough. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is red. Fiona is rough. Nice, cold people are red. All furry, cold people are nice. If someone is furry then they are cold. Cold people are red. All nice people are rough. All rough, furry people are quiet. If someone is furry then they are red. Cold, red people are blue.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Nice, cold people are red.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
All furry, cold people are nice.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is furry then they are cold.
((("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
Cold people are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
All nice people are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
All rough, furry people are quiet.
((("someone" "is" "rough" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
If someone is furry then they are red.
((("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
Cold, red people are blue.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Bob is rough.
True
1
proof
[(triple4 OR ((triple2) -> rule5))]
("Bob" "is" "rough" "+")
triple4
((triple2) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Fiona is not blue.
False
1
inv-proof
[(triple8 OR ((triple9 triple11) -> rule8) OR ((triple9 ((triple10) -> rule7)) -> rule8) OR ((triple9 ((triple9) -> rule4)) -> rule8) OR ((((triple10) -> rule3) triple11) -> rule8) OR ((((triple10) -> rule3) ((triple10) -> rule7)) -> rule8) OR ((((triple10) -> rule3) ((triple9) -> rule4)) -> rule8) OR ((triple9 ((((triple10) -> rule3)) -> rule4)) -> rule8) OR ((triple9 ((((triple10 triple9) -> rule2) triple9) -> rule1)) -> rule8) OR ((triple9 ((((triple10 triple9) -> rule2) ((triple10) -> rule3)) -> rule1)) -> rule8) OR ((((triple10) -> rule3) ((((triple10) -> rule3)) -> rule4)) -> rule8) OR ((((triple10) -> rule3) ((((triple10 triple9) -> rule2) triple9) -> rule1)) -> rule8) OR ((((triple10) -> rule3) ((((triple10 triple9) -> rule2) ((triple10) -> rule3)) -> rule1)) -> rule8) OR ((triple9 ((((triple10 ((triple10) -> rule3)) -> rule2) triple9) -> rule1)) -> rule8) OR ((triple9 ((((triple10 ((triple10) -> rule3)) -> rule2) ((triple10) -> rule3)) -> rule1)) -> rule8) OR ((((triple10) -> rule3) ((((triple10 ((triple10) -> rule3)) -> rule2) triple9) -> rule1)) -> rule8) OR ((((triple10) -> rule3) ((((triple10 ((triple10) -> rule3)) -> rule2) ((triple10) -> rule3)) -> rule1)) -> rule8))]
("Fiona" "is" "blue" "-")
triple8
((triple9 triple11) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple9 ((triple10) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((triple9 ((triple9) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple10) -> (rule3 % int2)) triple11) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple10) -> (rule3 % int3)) ((triple10) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple10) -> (rule3 % int3)) ((triple9) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((triple9 ((((triple10) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((triple9 ((((triple10 triple9) -> (rule2 % int3)) triple9) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((triple9 ((((triple10 triple9) -> (rule2 % int4)) ((triple10) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((triple10) -> (rule3 % int3)) ((((triple10) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple10) -> (rule3 % int4)) ((((triple10 triple9) -> (rule2 % int3)) triple9) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple10) -> (rule3 % int4)) ((((triple10 triple9) -> (rule2 % int3)) ((triple10) -> (rule3 % int4))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((triple9 ((((triple10 ((triple10) -> (rule3 % int4))) -> (rule2 % int3)) triple9) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((triple9 ((((triple10 ((triple10) -> (rule3 % int4))) -> (rule2 % int3)) ((triple10) -> (rule3 % int4))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple10) -> (rule3 % int4)) ((((triple10 ((triple10) -> (rule3 % int4))) -> (rule2 % int3)) triple9) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple10) -> (rule3 % int4)) ((((triple10 ((triple10) -> (rule3 % int4))) -> (rule2 % int3)) ((triple10) -> (rule3 % int4))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is quiet.
True
3
proof
[(((triple12 triple10) -> rule6) OR ((((((triple10 triple9) -> rule2)) -> rule5) triple10) -> rule6) OR ((((((triple10 ((triple10) -> rule3)) -> rule2)) -> rule5) triple10) -> rule6))]
("Fiona" "is" "quiet" "+")
((triple12 triple10) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((((((triple10 triple9) -> (rule2 % int3))) -> (rule5 % int2)) triple10) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((triple10 ((triple10) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) triple10) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is not nice.
False
3
inv-proof
[(((triple10 triple9) -> rule2) OR ((triple10 ((triple10) -> rule3)) -> rule2))]
("Fiona" "is" "nice" "-")
((triple10 triple9) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((triple10 ((triple10) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Charlie is nice.
True
4
proof
[(((triple6 ((triple6) -> rule3)) -> rule2))]
("Charlie" "is" "nice" "+")
((triple6 ((triple6) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is not nice.
False
4
inv-proof
[(((triple6 ((triple6) -> rule3)) -> rule2))]
("Charlie" "is" "nice" "-")
((triple6 ((triple6) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Bob is not red.
Unknown
inv-rconc
[@2: Bob is red.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Bob" "is" "red" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Bob is rough.[(triple4 OR ((triple2) -> rule5))] Charlie is blue.[(triple5 OR ((((triple6) -> rule3) ((triple6) -> rule7)) -> rule8) OR ((((triple6) -> rule3) ((((triple6) -> rule3)) -> rule4)) -> rule8) OR ((((triple6) -> rule3) ((((triple6 ((triple6) -> rule3)) -> rule2) ((triple6) -> rule3)) -> rule1)) -> rule8))] Charlie is furry.[(triple6)] Charlie is rough.[(triple7 OR ((((triple6 ((triple6) -> rule3)) -> rule2)) -> rule5))] Fiona is blue.[(triple8 OR ((triple9 triple11) -> rule8) OR ((triple9 ((triple10) -> rule7)) -> rule8) OR ((triple9 ((triple9) -> rule4)) -> rule8) OR ((((triple10) -> rule3) triple11) -> rule8) OR ((((triple10) -> rule3) ((triple10) -> rule7)) -> rule8) OR ((((triple10) -> rule3) ((triple9) -> rule4)) -> rule8) OR ((triple9 ((((triple10) -> rule3)) -> rule4)) -> rule8) OR ((triple9 ((((triple10 triple9) -> rule2) triple9) -> rule1)) -> rule8) OR ((triple9 ((((triple10 triple9) -> rule2) ((triple10) -> rule3)) -> rule1)) -> rule8) OR ((((triple10) -> rule3) ((((triple10) -> rule3)) -> rule4)) -> rule8) OR ((((triple10) -> rule3) ((((triple10 triple9) -> rule2) triple9) -> rule1)) -> rule8) OR ((((triple10) -> rule3) ((((triple10 triple9) -> rule2) ((triple10) -> rule3)) -> rule1)) -> rule8) OR ((triple9 ((((triple10 ((triple10) -> rule3)) -> rule2) triple9) -> rule1)) -> rule8) OR ((triple9 ((((triple10 ((triple10) -> rule3)) -> rule2) ((triple10) -> rule3)) -> rule1)) -> rule8) OR ((((triple10) -> rule3) ((((triple10 ((triple10) -> rule3)) -> rule2) triple9) -> rule1)) -> rule8) OR ((((triple10) -> rule3) ((((triple10 ((triple10) -> rule3)) -> rule2) ((triple10) -> rule3)) -> rule1)) -> rule8))] Fiona is cold.[(triple9 OR ((triple10) -> rule3))] Fiona is furry.[(triple10)] Fiona is red.[(triple11 OR ((triple10) -> rule7) OR ((triple9) -> rule4) OR ((((triple10) -> rule3)) -> rule4) OR ((((triple10 triple9) -> rule2) triple9) -> rule1) OR ((((triple10 triple9) -> rule2) ((triple10) -> rule3)) -> rule1) OR ((((triple10 ((triple10) -> rule3)) -> rule2) triple9) -> rule1) OR ((((triple10 ((triple10) -> rule3)) -> rule2) ((triple10) -> rule3)) -> rule1))] Fiona is rough.[(triple12 OR ((((triple10 triple9) -> rule2)) -> rule5) OR ((((triple10 ((triple10) -> rule3)) -> rule2)) -> rule5))] @1: Charlie is cold.[(((triple6) -> rule3))] Charlie is quiet.[(((triple7 triple6) -> rule6) OR ((((((triple6 ((triple6) -> rule3)) -> rule2)) -> rule5) triple6) -> rule6))] Charlie is red.[(((triple6) -> rule7) OR ((((triple6) -> rule3)) -> rule4) OR ((((triple6 ((triple6) -> rule3)) -> rule2) ((triple6) -> rule3)) -> rule1))] Fiona is nice.[(((triple10 triple9) -> rule2) OR ((triple10 ((triple10) -> rule3)) -> rule2))] Fiona is quiet.[(((triple12 triple10) -> rule6) OR ((((((triple10 triple9) -> rule2)) -> rule5) triple10) -> rule6) OR ((((((triple10 ((triple10) -> rule3)) -> rule2)) -> rule5) triple10) -> rule6))] @2: Charlie is nice.[(((triple6 ((triple6) -> rule3)) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
((triple2) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
((((triple6) -> (rule3 % int3)) ((triple6) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((triple6) -> (rule3 % int3)) ((((triple6) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((triple6) -> (rule3 % int4)) ((((triple6 ((triple6) -> (rule3 % int4))) -> (rule2 % int3)) ((triple6) -> (rule3 % int4))) -> (rule1 % int2))) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
((((triple6 ((triple6) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
((triple9 triple11) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple9 ((triple10) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((triple9 ((triple9) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple10) -> (rule3 % int2)) triple11) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple10) -> (rule3 % int3)) ((triple10) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple10) -> (rule3 % int3)) ((triple9) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((triple9 ((((triple10) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((triple9 ((((triple10 triple9) -> (rule2 % int3)) triple9) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((triple9 ((((triple10 triple9) -> (rule2 % int4)) ((triple10) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((triple10) -> (rule3 % int3)) ((((triple10) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple10) -> (rule3 % int4)) ((((triple10 triple9) -> (rule2 % int3)) triple9) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple10) -> (rule3 % int4)) ((((triple10 triple9) -> (rule2 % int3)) ((triple10) -> (rule3 % int4))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((triple9 ((((triple10 ((triple10) -> (rule3 % int4))) -> (rule2 % int3)) triple9) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((triple9 ((((triple10 ((triple10) -> (rule3 % int4))) -> (rule2 % int3)) ((triple10) -> (rule3 % int4))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple10) -> (rule3 % int4)) ((((triple10 ((triple10) -> (rule3 % int4))) -> (rule2 % int3)) triple9) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple10) -> (rule3 % int4)) ((((triple10 ((triple10) -> (rule3 % int4))) -> (rule2 % int3)) ((triple10) -> (rule3 % int4))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
((triple10) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
Fiona is red.
("Fiona" "is" "red" "+")
triple11
((triple10) -> (rule7 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple9) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple10) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple10 triple9) -> (rule2 % int2)) triple9) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple10 triple9) -> (rule2 % int3)) ((triple10) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((triple10 ((triple10) -> (rule3 % int3))) -> (rule2 % int2)) triple9) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple10 ((triple10) -> (rule3 % int3))) -> (rule2 % int2)) ((triple10) -> (rule3 % int3))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple12
((((triple10 triple9) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple10 ((triple10) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple6) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple7 triple6) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((((((triple6 ((triple6) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
((triple6) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((((triple6) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((triple6 ((triple6) -> (rule3 % int3))) -> (rule2 % int2)) ((triple6) -> (rule3 % int3))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple10 triple9) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((triple10 ((triple10) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple12 triple10) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((((((triple10 triple9) -> (rule2 % int3))) -> (rule5 % int2)) triple10) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((triple10 ((triple10) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) triple10) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple6 ((triple6) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2