Bob is not big. Bob is not blue. Bob is nice. Bob is quiet. Erin is not nice. Erin is round. Fiona is round. Harry is not big. Harry is nice. Harry is not round. Furry things are white. If Fiona is blue then Fiona is nice. If something is furry and blue then it is nice. All white things are round. If something is quiet and not blue then it is furry. If Erin is furry then Erin is not big.
Bob is not big.
("Bob" "is" "big" "-")
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is round.
("Erin" "is" "round" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is not round.
("Harry" "is" "round" "-")
Furry things are white.
((("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
If Fiona is blue then Fiona is nice.
((("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "nice" "+"))
If something is furry and blue then it is nice.
((("something" "is" "furry" "+") ("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
All white things are round.
((("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
If something is quiet and not blue then it is furry.
((("something" "is" "quiet" "+") ("something" "is" "blue" "~")) -> ("something" "is" "furry" "+"))
If Erin is furry then Erin is not big.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "big" "-"))
Bob is not big.
True
1
proof
[(triple1)]
("Bob" "is" "big" "-")
triple1
Bob is not nice.
False
1
inv-proof
[(triple3)]
("Bob" "is" "nice" "-")
triple3
Bob is furry.
True
3
proof
[(((triple4 triple2) -> rule5))]
("Bob" "is" "furry" "+")
((triple4 triple2) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is not furry.
False
3
inv-proof
[(((triple4 triple2) -> rule5))]
("Bob" "is" "furry" "-")
((triple4 triple2) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is white.
True
4
proof
[(((((triple4 triple2) -> rule5)) -> rule1))]
("Bob" "is" "white" "+")
((((triple4 triple2) -> (rule5 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is not white.
False
4
inv-proof
[(((((triple4 triple2) -> rule5)) -> rule1))]
("Bob" "is" "white" "-")
((((triple4 triple2) -> (rule5 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is round.
True
5
proof
[(((((((triple4 triple2) -> rule5)) -> rule1)) -> rule4))]
("Bob" "is" "round" "+")
((((((triple4 triple2) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is not round.
False
5
inv-proof
[(((((((triple4 triple2) -> rule5)) -> rule1)) -> rule4))]
("Bob" "is" "round" "-")
((((((triple4 triple2) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Erin is not white.
Unknown
inv-rconc
[@2: Erin is white.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Erin" "is" "white" "-")
Erin is furry.
Unknown
rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "furry" "+")
Fiona is not nice.
Unknown
inv-rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "nice" "-")
Harry is furry.
Unknown
rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "furry" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Bob is nice.[(triple3)] Bob is not big.[(triple1)] Bob is not blue.[(triple2)] Bob is quiet.[(triple4)] Erin is not nice.[(triple5)] Erin is round.[(triple6)] Fiona is round.[(triple7)] Harry is nice.[(triple9)] Harry is not big.[(triple8)] Harry is not round.[(triple10)] @1: Bob is furry.[(((triple4 triple2) -> rule5))] @2: Bob is white.[(((((triple4 triple2) -> rule5)) -> rule1))] @3: Bob is round.[(((((((triple4 triple2) -> rule5)) -> rule1)) -> rule4))]
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is not blue.
("Bob" "is" "blue" "-")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Erin is not nice.
("Erin" "is" "nice" "-")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is not big.
("Harry" "is" "big" "-")
triple8
Harry is not round.
("Harry" "is" "round" "-")
triple10
Bob is furry.
("Bob" "is" "furry" "+")
((triple4 triple2) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
((((triple4 triple2) -> (rule5 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((((((triple4 triple2) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3