Anne is white. Anne is young. Bob is furry. Bob is rough. Bob is round. Bob is young. Erin is nice. Erin is round. Erin is young. Fiona is cold. Fiona is nice. Fiona is rough. Fiona is white. Fiona is young. Rough people are furry. Nice, white people are cold. If someone is furry and rough then they are round. If someone is cold then they are rough. If someone is young then they are nice.
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Rough people are furry.
((("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
Nice, white people are cold.
((("someone" "is" "nice" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
If someone is furry and rough then they are round.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is cold then they are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is young then they are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
Erin is young.
True
1
proof
[(triple9)]
("Erin" "is" "young" "+")
triple9
Bob is not young.
False
1
inv-proof
[(triple6)]
("Bob" "is" "young" "-")
triple6
Fiona is furry.
True
2
proof
[(((triple12) -> rule1) OR ((((triple10) -> rule4)) -> rule1) OR ((((((triple11 triple13) -> rule2)) -> rule4)) -> rule1) OR ((((((((triple14) -> rule5) triple13) -> rule2)) -> rule4)) -> rule1))]
("Fiona" "is" "furry" "+")
((triple12) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple10) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((((triple11 triple13) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((((((triple14) -> (rule5 % int4)) triple13) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Anne is not nice.
False
2
inv-proof
[(((triple2) -> rule5))]
("Anne" "is" "nice" "-")
((triple2) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
True
4
proof
[(((((triple2) -> rule5) triple1) -> rule2))]
("Anne" "is" "cold" "+")
((((triple2) -> (rule5 % int2)) triple1) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is not cold.
False
4
inv-proof
[(((((triple2) -> rule5) triple1) -> rule2))]
("Anne" "is" "cold" "-")
((((triple2) -> (rule5 % int2)) triple1) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is rough.
True
5
proof
[(((((((triple2) -> rule5) triple1) -> rule2)) -> rule4))]
("Anne" "is" "rough" "+")
((((((triple2) -> (rule5 % int3)) triple1) -> (rule2 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is not rough.
False
5
inv-proof
[(((((((triple2) -> rule5) triple1) -> rule2)) -> rule4))]
("Anne" "is" "rough" "-")
((((((triple2) -> (rule5 % int3)) triple1) -> (rule2 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is furry.
True
6
proof
[(((((((((triple2) -> rule5) triple1) -> rule2)) -> rule4)) -> rule1))]
("Anne" "is" "furry" "+")
((((((((triple2) -> (rule5 % int4)) triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is not furry.
False
6
inv-proof
[(((((((((triple2) -> rule5) triple1) -> rule2)) -> rule4)) -> rule1))]
("Anne" "is" "furry" "-")
((((((((triple2) -> (rule5 % int4)) triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is round.
True
12
proof
[(((((((((((triple2) -> rule5) triple1) -> rule2)) -> rule4)) -> rule1) ((((((triple2) -> rule5) triple1) -> rule2)) -> rule4)) -> rule3))]
("Anne" "is" "round" "+")
((((((((((triple2) -> (rule5 % int5)) triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((((triple2) -> (rule5 % int5)) triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is not round.
False
12
inv-proof
[(((((((((((triple2) -> rule5) triple1) -> rule2)) -> rule4)) -> rule1) ((((((triple2) -> rule5) triple1) -> rule2)) -> rule4)) -> rule3))]
("Anne" "is" "round" "-")
((((((((((triple2) -> (rule5 % int5)) triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((((triple2) -> (rule5 % int5)) triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "cold" "-")
Erin is furry.
Unknown
rconc
[@3: Erin is furry.[CWA. Example of deepest failure = (rule1 <- rule4 <- rule2 <- FAIL)]]
("Erin" "is" "furry" "+")
Erin is not cold.
Unknown
inv-rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "cold" "-")
Erin is rough.
Unknown
rconc
[@2: Erin is rough.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Erin" "is" "rough" "+")
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Anne is white.[(triple1)] Anne is young.[(triple2)] Bob is furry.[(triple3 OR ((triple4) -> rule1))] Bob is rough.[(triple4)] Bob is round.[(triple5 OR ((triple3 triple4) -> rule3) OR ((((triple4) -> rule1) triple4) -> rule3))] Bob is young.[(triple6)] Erin is nice.[(triple7 OR ((triple9) -> rule5))] Erin is round.[(triple8)] Erin is young.[(triple9)] Fiona is cold.[(triple10 OR ((triple11 triple13) -> rule2) OR ((((triple14) -> rule5) triple13) -> rule2))] Fiona is nice.[(triple11 OR ((triple14) -> rule5))] Fiona is rough.[(triple12 OR ((triple10) -> rule4) OR ((((triple11 triple13) -> rule2)) -> rule4) OR ((((((triple14) -> rule5) triple13) -> rule2)) -> rule4))] Fiona is white.[(triple13)] Fiona is young.[(triple14)] @1: Anne is nice.[(((triple2) -> rule5))] Bob is nice.[(((triple6) -> rule5))] Fiona is furry.[(((triple12) -> rule1) OR ((((triple10) -> rule4)) -> rule1) OR ((((((triple11 triple13) -> rule2)) -> rule4)) -> rule1) OR ((((((((triple14) -> rule5) triple13) -> rule2)) -> rule4)) -> rule1))] @2: Anne is cold.[(((((triple2) -> rule5) triple1) -> rule2))] Fiona is round.[(((((triple12) -> rule1) triple12) -> rule3) OR ((((triple12) -> rule1) ((triple10) -> rule4)) -> rule3) OR ((((((triple10) -> rule4)) -> rule1) triple12) -> rule3) OR ((((triple12) -> rule1) ((((triple11 triple13) -> rule2)) -> rule4)) -> rule3) OR ((((((triple10) -> rule4)) -> rule1) ((triple10) -> rule4)) -> rule3) OR ((((((triple10) -> rule4)) -> rule1) ((((triple11 triple13) -> rule2)) -> rule4)) -> rule3) OR ((((((((triple11 triple13) -> rule2)) -> rule4)) -> rule1) triple12) -> rule3) OR ((((triple12) -> rule1) ((((((triple14) -> rule5) triple13) -> rule2)) -> rule4)) -> rule3) OR ((((((((triple11 triple13) -> rule2)) -> rule4)) -> rule1) ((triple10) -> rule4)) -> rule3) OR ((((((triple10) -> rule4)) -> rule1) ((((((triple14) -> rule5) triple13) -> rule2)) -> rule4)) -> rule3) OR ((((((((triple11 triple13) -> rule2)) -> rule4)) -> rule1) ((((triple11 triple13) -> rule2)) -> rule4)) -> rule3) OR ((((((((triple11 triple13) -> rule2)) -> rule4)) -> rule1) ((((((triple14) -> rule5) triple13) -> rule2)) -> rule4)) -> rule3) OR ((((((((((triple14) -> rule5) triple13) -> rule2)) -> rule4)) -> rule1) triple12) -> rule3) OR ((((((((((triple14) -> rule5) triple13) -> rule2)) -> rule4)) -> rule1) ((triple10) -> rule4)) -> rule3) OR ((((((((((triple14) -> rule5) triple13) -> rule2)) -> rule4)) -> rule1) ((((triple11 triple13) -> rule2)) -> rule4)) -> rule3) OR ((((((((((triple14) -> rule5) triple13) -> rule2)) -> rule4)) -> rule1) ((((((triple14) -> rule5) triple13) -> rule2)) -> rule4)) -> rule3))] @3: Anne is rough.[(((((((triple2) -> rule5) triple1) -> rule2)) -> rule4))] @4: Anne is furry.[(((((((((triple2) -> rule5) triple1) -> rule2)) -> rule4)) -> rule1))] @5: Anne is round.[(((((((((((triple2) -> rule5) triple1) -> rule2)) -> rule4)) -> rule1) ((((((triple2) -> rule5) triple1) -> rule2)) -> rule4)) -> rule3))]
Anne is white.
("Anne" "is" "white" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
((triple4) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
((triple3 triple4) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((((triple4) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
((triple9) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple8
Erin is young.
("Erin" "is" "young" "+")
triple9
Fiona is cold.
("Fiona" "is" "cold" "+")
triple10
((triple11 triple13) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((((triple14) -> (rule5 % int2)) triple13) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple11
((triple14) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple12
((triple10) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple11 triple13) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((((triple14) -> (rule5 % int3)) triple13) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
triple13
Fiona is young.
("Fiona" "is" "young" "+")
triple14
Anne is nice.
("Anne" "is" "nice" "+")
((triple2) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple6) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple12) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple10) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((((triple11 triple13) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((((((triple14) -> (rule5 % int4)) triple13) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
((((triple2) -> (rule5 % int2)) triple1) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((((triple12) -> (rule1 % int2)) triple12) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple12) -> (rule1 % int3)) ((triple10) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((triple10) -> (rule4 % int3))) -> (rule1 % int2)) triple12) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple12) -> (rule1 % int4)) ((((triple11 triple13) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((triple10) -> (rule4 % int3))) -> (rule1 % int2)) ((triple10) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple10) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple11 triple13) -> (rule2 % int2))) -> (rule4 % int4))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((((triple11 triple13) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) triple12) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple12) -> (rule1 % int5)) ((((((triple14) -> (rule5 % int4)) triple13) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((((((triple11 triple13) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((triple10) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((triple10) -> (rule4 % int5))) -> (rule1 % int4)) ((((((triple14) -> (rule5 % int3)) triple13) -> (rule2 % int2))) -> (rule4 % int5))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((triple11 triple13) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple11 triple13) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((((triple11 triple13) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3)) ((((((triple14) -> (rule5 % int2)) triple13) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((((((((triple14) -> (rule5 % int5)) triple13) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) triple12) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((((((triple14) -> (rule5 % int5)) triple13) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((triple10) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((((((triple14) -> (rule5 % int5)) triple13) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple11 triple13) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((((((triple14) -> (rule5 % int5)) triple13) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((((triple14) -> (rule5 % int5)) triple13) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Anne is rough.
("Anne" "is" "rough" "+")
((((((triple2) -> (rule5 % int3)) triple1) -> (rule2 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
((((((((triple2) -> (rule5 % int4)) triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
((((((((((triple2) -> (rule5 % int5)) triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((((triple2) -> (rule5 % int5)) triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5