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