Bob is not big. Bob is green. Fiona is not green. Fiona is quiet. Fiona is white. Gary is big. Gary is not quiet. Gary is white. Harry is green. Harry is quiet. Harry is smart. Harry is white. If something is big and not cold then it is smart. If Bob is blue and Bob is quiet then Bob is not smart. If Bob is blue then Bob is not white. If something is blue then it is not green. Quiet, green things are white. If Harry is quiet and Harry is blue then Harry is big.
Bob is not big.
("Bob" "is" "big" "-")
Bob is green.
("Bob" "is" "green" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Gary is white.
("Gary" "is" "white" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
If something is big and not cold then it is smart.
((("something" "is" "big" "+") ("something" "is" "cold" "~")) -> ("something" "is" "smart" "+"))
If Bob is blue and Bob is quiet then Bob is not smart.
((("Bob" "is" "blue" "+") ("Bob" "is" "quiet" "+")) -> ("Bob" "is" "smart" "-"))
If Bob is blue then Bob is not white.
((("Bob" "is" "blue" "+")) -> ("Bob" "is" "white" "-"))
If something is blue then it is not green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "-"))
Quiet, green things are white.
((("something" "is" "quiet" "+") ("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
If Harry is quiet and Harry is blue then Harry is big.
((("Harry" "is" "quiet" "+") ("Harry" "is" "blue" "+")) -> ("Harry" "is" "big" "+"))
Fiona is not green.
True
1
proof
[(triple3)]
("Fiona" "is" "green" "-")
triple3
Gary is quiet.
False
1
inv-proof
[(triple7)]
("Gary" "is" "quiet" "+")
triple7
Gary is not smart.
Unknown
inv-rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "smart" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Bob is green.[(triple2)] Bob is not big.[(triple1)] Fiona is not green.[(triple3)] Fiona is quiet.[(triple4)] Fiona is white.[(triple5)] Gary is big.[(triple6)] Gary is not quiet.[(triple7)] Gary is white.[(triple8)] Harry is green.[(triple9)] Harry is quiet.[(triple10)] Harry is smart.[(triple11)] Harry is white.[(triple12 OR ((triple10 triple9) -> rule5))]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is not big.
("Bob" "is" "big" "-")
triple1
Fiona is not green.
("Fiona" "is" "green" "-")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple7
Gary is white.
("Gary" "is" "white" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
Harry is smart.
("Harry" "is" "smart" "+")
triple11
Harry is white.
("Harry" "is" "white" "+")
triple12
((triple10 triple9) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1