Anne is furry. Anne is green. Anne is round. Bob is quiet. Bob is smart. Erin is furry. Erin is smart. Harry is blue. Harry is quiet. Harry is round. Big people are blue. Furry, quiet people are big. If someone is smart then they are blue. Blue people are quiet. Big, quiet people are green. Green, furry people are round.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
Big people are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Furry, quiet people are big.
((("someone" "is" "furry" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
If someone is smart then they are blue.
((("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
Blue people are quiet.
((("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
Big, quiet people are green.
((("someone" "is" "big" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
Green, furry people are round.
((("someone" "is" "green" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
Erin is furry.
True
1
proof
[(triple6)]
("Erin" "is" "furry" "+")
triple6
Erin is not smart.
False
1
inv-proof
[(triple7)]
("Erin" "is" "smart" "-")
triple7
Bob is blue.
True
2
proof
[(((triple5) -> rule3))]
("Bob" "is" "blue" "+")
((triple5) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
2
inv-proof
[(((triple5) -> rule3))]
("Bob" "is" "blue" "-")
((triple5) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Erin is quiet.
True
3
proof
[(((((triple7) -> rule3)) -> rule4))]
("Erin" "is" "quiet" "+")
((((triple7) -> (rule3 % int2))) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is not quiet.
False
3
inv-proof
[(((((triple7) -> rule3)) -> rule4))]
("Erin" "is" "quiet" "-")
((((triple7) -> (rule3 % int2))) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is big.
True
5
proof
[(((triple6 ((((triple7) -> rule3)) -> rule4)) -> rule2))]
("Erin" "is" "big" "+")
((triple6 ((((triple7) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is not big.
False
5
inv-proof
[(((triple6 ((((triple7) -> rule3)) -> rule4)) -> rule2))]
("Erin" "is" "big" "-")
((triple6 ((((triple7) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "round" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "big" "+")
Anne is not blue.
Unknown
inv-rconc
[@4: Anne is blue.[CWA. Example of deepest failure = (rule1 <- rule2 <- rule4 <- rule3 <- FAIL)]]
("Anne" "is" "blue" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "+")
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
Bob is not furry.
Unknown
inv-random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is round.[(triple3 OR ((triple2 triple1) -> rule6))] Bob is quiet.[(triple4 OR ((((triple5) -> rule3)) -> rule4))] Bob is smart.[(triple5)] Erin is furry.[(triple6)] Erin is smart.[(triple7)] Harry is blue.[(triple8)] Harry is quiet.[(triple9 OR ((triple8) -> rule4))] Harry is round.[(triple10)] @1: Bob is blue.[(((triple5) -> rule3))] Erin is blue.[(((triple7) -> rule3))] @2: Erin is quiet.[(((((triple7) -> rule3)) -> rule4))] @3: Erin is big.[(((triple6 ((((triple7) -> rule3)) -> rule4)) -> rule2))] @4: Erin is green.[(((((triple6 ((((triple7) -> rule3)) -> rule4)) -> rule2) ((((triple7) -> rule3)) -> rule4)) -> rule5))] @5: Erin is round.[(((((((triple6 ((((triple7) -> rule3)) -> rule4)) -> rule2) ((((triple7) -> rule3)) -> rule4)) -> rule5) triple6) -> rule6))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
((triple2 triple1) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
((((triple5) -> (rule3 % int2))) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is smart.
("Erin" "is" "smart" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is quiet.
("Harry" "is" "quiet" "+")
triple9
((triple8) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
triple10
Bob is blue.
("Bob" "is" "blue" "+")
((triple5) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple7) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
((((triple7) -> (rule3 % int2))) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
((triple6 ((((triple7) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
((((triple6 ((((triple7) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) ((((triple7) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
((((((triple6 ((((triple7) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple7) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5