Anne is green. Anne is young. Bob is quiet. Bob is young. Erin is big. Erin is green. Erin is quiet. Erin is rough. Fiona is rough. Fiona is round. All furry, rough things are young. Round, big things are young. If something is furry then it is green. All rough, big things are green. All quiet things are rough. If something is round then it is not big. Rough, young things are furry. If something is green and young then it is round.
Anne is green.
("Anne" "is" "green" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
All furry, rough things are young.
((("something" "is" "furry" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
Round, big things are young.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
If something is furry then it is green.
((("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
All rough, big things are green.
((("something" "is" "rough" "+") ("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
All quiet things are rough.
((("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
If something is round then it is not big.
((("something" "is" "round" "+")) -> ("something" "is" "big" "-"))
Rough, young things are furry.
((("something" "is" "rough" "+") ("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
If something is green and young then it is round.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
Erin is big.
True
1
proof
[(triple5)]
("Erin" "is" "big" "+")
triple5
Fiona is not rough.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "rough" "-")
triple9
Fiona is not big.
True
2
proof
[(((triple10) -> rule6))]
("Fiona" "is" "big" "-")
((triple10) -> (rule6 % int1))
Fiona is not big.
("Fiona" "is" "big" "-")
int1
Fiona is big.
False
2
inv-proof
[(((triple10) -> rule6))]
("Fiona" "is" "big" "+")
((triple10) -> (rule6 % int1))
Fiona is not big.
("Fiona" "is" "big" "-")
int1
Anne is not big.
True
4
proof
[(((((triple1 triple2) -> rule8)) -> rule6))]
("Anne" "is" "big" "-")
((((triple1 triple2) -> (rule8 % int2))) -> (rule6 % int1))
Anne is not big.
("Anne" "is" "big" "-")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
False
4
inv-proof
[(((((triple1 triple2) -> rule8)) -> rule6))]
("Anne" "is" "big" "+")
((((triple1 triple2) -> (rule8 % int2))) -> (rule6 % int1))
Anne is not big.
("Anne" "is" "big" "-")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Bob is green.
True
5
proof
[(((((((triple3) -> rule5) triple4) -> rule7)) -> rule3))]
("Bob" "is" "green" "+")
((((((triple3) -> (rule5 % int3)) triple4) -> (rule7 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is not green.
False
5
inv-proof
[(((((((triple3) -> rule5) triple4) -> rule7)) -> rule3))]
("Bob" "is" "green" "-")
((((((triple3) -> (rule5 % int3)) triple4) -> (rule7 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
True
7
proof
[(((((((((triple3) -> rule5) triple4) -> rule7)) -> rule3) triple4) -> rule8))]
("Bob" "is" "round" "+")
((((((((triple3) -> (rule5 % int4)) triple4) -> (rule7 % int3))) -> (rule3 % int2)) triple4) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is not round.
False
7
inv-proof
[(((((((((triple3) -> rule5) triple4) -> rule7)) -> rule3) triple4) -> rule8))]
("Bob" "is" "round" "-")
((((((((triple3) -> (rule5 % int4)) triple4) -> (rule7 % int3))) -> (rule3 % int2)) triple4) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is not big.
True
8
proof
[(((((((((((triple3) -> rule5) triple4) -> rule7)) -> rule3) triple4) -> rule8)) -> rule6))]
("Bob" "is" "big" "-")
((((((((((triple3) -> (rule5 % int5)) triple4) -> (rule7 % int4))) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule6 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is big.
False
8
inv-proof
[(((((((((((triple3) -> rule5) triple4) -> rule7)) -> rule3) triple4) -> rule8)) -> rule6))]
("Bob" "is" "big" "+")
((((((((((triple3) -> (rule5 % int5)) triple4) -> (rule7 % int4))) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule6 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Erin is not furry.
Unknown
inv-rconc
[@4: Erin is furry.[CWA. Example of deepest failure = (rule7 <- rule2 <- rule8 <- rule1 <- FAIL)]]
("Erin" "is" "furry" "-")
Anne is rough.
Unknown
rconc
[@1: Anne is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "rough" "+")
Anne is not furry.
Unknown
inv-rconc
[@2: Anne is furry.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("Anne" "is" "furry" "-")
Erin is round.
Unknown
rconc
[@4: Erin is round.[CWA. Example of deepest failure = (rule8 <- rule1 <- rule7 <- rule2 <- FAIL)]]
("Erin" "is" "round" "+")
Fiona is not furry.
Unknown
inv-rconc
[@2: Fiona is furry.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is green.
Unknown
rconc
[@3: Fiona is green.[CWA. Example of deepest failure = (rule3 <- rule7 <- rule1 <- FAIL)]]
("Fiona" "is" "green" "+")
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Anne is green.[(triple1)] Anne is young.[(triple2)] Bob is quiet.[(triple3)] Bob is young.[(triple4)] Erin is big.[(triple5)] Erin is green.[(triple6 OR ((triple8 triple5) -> rule4) OR ((((triple7) -> rule5) triple5) -> rule4))] Erin is quiet.[(triple7)] Erin is rough.[(triple8 OR ((triple7) -> rule5))] Fiona is rough.[(triple9)] Fiona is round.[(triple10)] @1: Anne is round.[(((triple1 triple2) -> rule8))] Bob is rough.[(((triple3) -> rule5))] Fiona is not big.[(((triple10) -> rule6))] @2: Anne is not big.[(((((triple1 triple2) -> rule8)) -> rule6))] Bob is furry.[(((((triple3) -> rule5) triple4) -> rule7))] @3: Bob is green.[(((((((triple3) -> rule5) triple4) -> rule7)) -> rule3))] @4: Bob is round.[(((((((((triple3) -> rule5) triple4) -> rule7)) -> rule3) triple4) -> rule8))] @5: Bob is not big.[(((((((((((triple3) -> rule5) triple4) -> rule7)) -> rule3) triple4) -> rule8)) -> rule6))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is green.
("Erin" "is" "green" "+")
triple6
((triple8 triple5) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple7) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
Erin is rough.
("Erin" "is" "rough" "+")
triple8
((triple7) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple10
Anne is round.
("Anne" "is" "round" "+")
((triple1 triple2) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple3) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Fiona is not big.
("Fiona" "is" "big" "-")
((triple10) -> (rule6 % int1))
Fiona is not big.
("Fiona" "is" "big" "-")
int1
Anne is not big.
("Anne" "is" "big" "-")
((((triple1 triple2) -> (rule8 % int2))) -> (rule6 % int1))
Anne is not big.
("Anne" "is" "big" "-")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
((((triple3) -> (rule5 % int2)) triple4) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((((((triple3) -> (rule5 % int3)) triple4) -> (rule7 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
((((((((triple3) -> (rule5 % int4)) triple4) -> (rule7 % int3))) -> (rule3 % int2)) triple4) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is not big.
("Bob" "is" "big" "-")
((((((((((triple3) -> (rule5 % int5)) triple4) -> (rule7 % int4))) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule6 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5