Anne is smart. Bob is smart. Bob is white. Fiona is nice. Fiona is round. Fiona is white. Harry is round. If someone is round and not kind then they are big. If someone is nice then they are round. If Bob is round and Bob is not kind then Bob is smart. Big, furry people are not white. If someone is smart and not furry then they are white. If someone is furry and not round then they are smart.
Anne is smart.
("Anne" "is" "smart" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is round.
("Harry" "is" "round" "+")
If someone is round and not kind then they are big.
((("someone" "is" "round" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "big" "+"))
If someone is nice then they are round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If Bob is round and Bob is not kind then Bob is smart.
((("Bob" "is" "round" "+") ("Bob" "is" "kind" "~")) -> ("Bob" "is" "smart" "+"))
Big, furry people are not white.
((("someone" "is" "big" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "white" "-"))
If someone is smart and not furry then they are white.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "white" "+"))
If someone is furry and not round then they are smart.
((("someone" "is" "furry" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "smart" "+"))
Fiona is nice.
True
1
proof
[(triple4)]
("Fiona" "is" "nice" "+")
triple4
Bob is not white.
False
1
inv-proof
[(triple3)]
("Bob" "is" "white" "-")
triple3
Fiona is not smart.
Unknown
inv-rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "smart" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Anne is smart.[(triple1)] Bob is smart.[(triple2)] Bob is white.[(triple3)] Fiona is nice.[(triple4)] Fiona is round.[(triple5 OR ((triple4) -> rule2))] Fiona is white.[(triple6)] Harry is round.[(triple7)]
Anne is smart.
("Anne" "is" "smart" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Bob is white.
("Bob" "is" "white" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple4
Fiona is round.
("Fiona" "is" "round" "+")
triple5
((triple4) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple7