Bob is round. Bob is white. Fiona is not blue. Fiona is green. Fiona is round. Fiona is white. Gary is blue. Gary is rough. Harry is not nice. Harry is not rough. Round, rough things are nice. All blue things are rough. If Harry is not nice then Harry is white. If Bob is not nice and Bob is not blue then Bob is not green. If something is round and blue then it is smart. All nice, white things are smart.
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is not nice.
("Harry" "is" "nice" "-")
Harry is not rough.
("Harry" "is" "rough" "-")
Round, rough things are nice.
((("something" "is" "round" "+") ("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
All blue things are rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
If Harry is not nice then Harry is white.
((("Harry" "is" "nice" "~")) -> ("Harry" "is" "white" "+"))
If Bob is not nice and Bob is not blue then Bob is not green.
((("Bob" "is" "nice" "~") ("Bob" "is" "blue" "~")) -> ("Bob" "is" "green" "-"))
If something is round and blue then it is smart.
((("something" "is" "round" "+") ("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
All nice, white things are smart.
((("something" "is" "nice" "+") ("something" "is" "white" "+")) -> ("something" "is" "smart" "+"))
Bob is round.
True
1
proof
[(triple1)]
("Bob" "is" "round" "+")
triple1
Fiona is not round.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "round" "-")
triple5
Fiona is not smart.
Unknown
inv-rconc
[@3: Fiona is smart.[CWA. Example of deepest failure = (rule6 <- rule1 <- rule2 <- FAIL)]]
("Fiona" "is" "smart" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Bob is round.[(triple1)] Bob is white.[(triple2)] Fiona is green.[(triple4)] Fiona is not blue.[(triple3)] Fiona is round.[(triple5)] Fiona is white.[(triple6)] Gary is blue.[(triple7)] Gary is rough.[(triple8 OR ((triple7) -> rule2))] Harry is not nice.[(triple9)] Harry is not rough.[(triple10)] @1: Harry is white.[(((triple9) -> rule3))]
Bob is round.
("Bob" "is" "round" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple4
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
triple5
Fiona is white.
("Fiona" "is" "white" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple8
((triple7) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Harry is not nice.
("Harry" "is" "nice" "-")
triple9
Harry is not rough.
("Harry" "is" "rough" "-")
triple10
Harry is white.
("Harry" "is" "white" "+")
((triple9) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1