Bob is not big. Bob is blue. Bob is furry. Bob is kind. Bob is quiet. Bob is not smart. Charlie is big. Charlie is not blue. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is not smart. Fiona is big. Fiona is not furry. Fiona is green. Fiona is smart. Smart, furry things are quiet. If something is quiet then it is furry. If Bob is blue then Bob is kind. If something is smart and quiet then it is kind. If something is blue and not quiet then it is kind. If something is furry and not quiet then it is green. Quiet, blue things are green. If something is kind and not big then it is green.
Bob is not big.
("Bob" "is" "big" "-")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is not blue.
("Charlie" "is" "blue" "-")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is not smart.
("Charlie" "is" "smart" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Smart, furry things are quiet.
((("something" "is" "smart" "+") ("something" "is" "furry" "+")) -> ("something" "is" "quiet" "+"))
If something is quiet then it is furry.
((("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
If Bob is blue then Bob is kind.
((("Bob" "is" "blue" "+")) -> ("Bob" "is" "kind" "+"))
If something is smart and quiet then it is kind.
((("something" "is" "smart" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
If something is blue and not quiet then it is kind.
((("something" "is" "blue" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "kind" "+"))
If something is furry and not quiet then it is green.
((("something" "is" "furry" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "green" "+"))
Quiet, blue things are green.
((("something" "is" "quiet" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
If something is kind and not big then it is green.
((("something" "is" "kind" "+") ("something" "is" "big" "~")) -> ("something" "is" "green" "+"))
Bob is not smart.
True
1
proof
[(triple6)]
("Bob" "is" "smart" "-")
triple6
Bob is big.
False
1
inv-proof
[(triple1)]
("Bob" "is" "big" "+")
triple1
Bob is green.
True
3
proof
[(((triple4 triple1) -> rule8) OR ((triple5 triple2) -> rule7) OR ((((triple2) -> rule3) triple1) -> rule8))]
("Bob" "is" "green" "+")
((triple4 triple1) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple5 triple2) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple2) -> (rule3 % int2)) triple1) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is not green.
False
3
inv-proof
[(((triple4 triple1) -> rule8) OR ((triple5 triple2) -> rule7) OR ((((triple2) -> rule3) triple1) -> rule8))]
("Bob" "is" "green" "-")
((triple4 triple1) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple5 triple2) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple2) -> (rule3 % int2)) triple1) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Fiona is not quiet.
Unknown
inv-rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Fiona is kind.
Unknown
rconc
[@2: Fiona is kind.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Fiona" "is" "kind" "+")
@0: Bob is blue.[(triple2)] Bob is furry.[(triple3 OR ((triple5) -> rule2))] Bob is kind.[(triple4 OR ((triple2) -> rule3))] Bob is not big.[(triple1)] Bob is not smart.[(triple6)] Bob is quiet.[(triple5)] Charlie is big.[(triple7)] Charlie is furry.[(triple9 OR ((triple11) -> rule2))] Charlie is kind.[(triple10)] Charlie is not blue.[(triple8)] Charlie is not smart.[(triple12)] Charlie is quiet.[(triple11)] Fiona is big.[(triple13)] Fiona is green.[(triple15)] Fiona is not furry.[(triple14)] Fiona is smart.[(triple16)] @1: Bob is green.[(((triple4 triple1) -> rule8) OR ((triple5 triple2) -> rule7) OR ((((triple2) -> rule3) triple1) -> rule8))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
((triple5) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
triple4
((triple2) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is not smart.
("Bob" "is" "smart" "-")
triple6
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is furry.
("Charlie" "is" "furry" "+")
triple9
((triple11) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple10
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple8
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple12
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple11
Fiona is big.
("Fiona" "is" "big" "+")
triple13
Fiona is green.
("Fiona" "is" "green" "+")
triple15
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple14
Fiona is smart.
("Fiona" "is" "smart" "+")
triple16
Bob is green.
("Bob" "is" "green" "+")
((triple4 triple1) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple5 triple2) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple2) -> (rule3 % int2)) triple1) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2