Bob is blue. Bob is cold. Bob is quiet. Bob is round. Charlie is not blue. Charlie is green. Charlie is not quiet. Charlie is not white. Fiona is blue. Fiona is not cold. Fiona is not green. Fiona is kind. Fiona is not quiet. Fiona is round. Fiona is white. Green people are cold. If someone is round and not blue then they are quiet. All cold, kind people are white. All quiet people are round. If Charlie is not green then Charlie is white. If Charlie is kind then Charlie is cold.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is not blue.
("Charlie" "is" "blue" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Charlie is not white.
("Charlie" "is" "white" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Green people are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and not blue then they are quiet.
((("someone" "is" "round" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "quiet" "+"))
All cold, kind people are white.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
All quiet people are round.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "+"))
If Charlie is not green then Charlie is white.
((("Charlie" "is" "green" "~")) -> ("Charlie" "is" "white" "+"))
If Charlie is kind then Charlie is cold.
((("Charlie" "is" "kind" "+")) -> ("Charlie" "is" "cold" "+"))
Fiona is blue.
True
1
proof
[(triple9)]
("Fiona" "is" "blue" "+")
triple9
Charlie is not green.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "green" "-")
triple6
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "round" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is quiet.[(triple3)] Bob is round.[(triple4 OR ((triple3) -> rule4))] Charlie is green.[(triple6)] Charlie is not blue.[(triple5)] Charlie is not quiet.[(triple7)] Charlie is not white.[(triple8)] Fiona is blue.[(triple9)] Fiona is kind.[(triple12)] Fiona is not cold.[(triple10)] Fiona is not green.[(triple11)] Fiona is not quiet.[(triple13)] Fiona is round.[(triple14)] Fiona is white.[(triple15)] @1: Charlie is cold.[(((triple6) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
((triple3) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple5
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple7
Charlie is not white.
("Charlie" "is" "white" "-")
triple8
Fiona is blue.
("Fiona" "is" "blue" "+")
triple9
Fiona is kind.
("Fiona" "is" "kind" "+")
triple12
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple10
Fiona is not green.
("Fiona" "is" "green" "-")
triple11
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple13
Fiona is round.
("Fiona" "is" "round" "+")
triple14
Fiona is white.
("Fiona" "is" "white" "+")
triple15
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple6) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1