Bob is blue. Bob is cold. Bob is not white. Charlie is big. Charlie is green. Dave is nice. Dave is not white. Fiona is not blue. Fiona is cold. Fiona is not nice. All quiet, big people are nice. If Fiona is white and Fiona is not cold then Fiona is nice. If Charlie is big then Charlie is nice. All quiet, nice people are not big. All blue people are big. If someone is big and white then they are not green.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is not white.
("Bob" "is" "white" "-")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is not white.
("Dave" "is" "white" "-")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
All quiet, big people are nice.
((("someone" "is" "quiet" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If Fiona is white and Fiona is not cold then Fiona is nice.
((("Fiona" "is" "white" "+") ("Fiona" "is" "cold" "~")) -> ("Fiona" "is" "nice" "+"))
If Charlie is big then Charlie is nice.
((("Charlie" "is" "big" "+")) -> ("Charlie" "is" "nice" "+"))
All quiet, nice people are not big.
((("someone" "is" "quiet" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "-"))
All blue people are big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is big and white then they are not green.
((("someone" "is" "big" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "-"))
Fiona is not blue.
True
1
proof
[(triple8)]
("Fiona" "is" "blue" "-")
triple8
Bob is white.
False
1
inv-proof
[(triple3)]
("Bob" "is" "white" "+")
triple3
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "big" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is not white.[(triple3)] Charlie is big.[(triple4)] Charlie is green.[(triple5)] Dave is nice.[(triple6)] Dave is not white.[(triple7)] Fiona is cold.[(triple9)] Fiona is not blue.[(triple8)] Fiona is not nice.[(triple10)] @1: Bob is big.[(((triple1) -> rule5))] Charlie is nice.[(((triple4) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is not white.
("Bob" "is" "white" "-")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is not white.
("Dave" "is" "white" "-")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple8
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple10
Bob is big.
("Bob" "is" "big" "+")
((triple1) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple4) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1