Charlie is blue. Charlie is not kind. Charlie is quiet. Charlie is young. Dave is not green. Dave is not kind. Dave is round. Dave is not young. Fiona is cold. Fiona is quiet. Fiona is not round. Fiona is not young. Cold, round things are not kind. If something is young and not round then it is kind. If something is green and not round then it is young. If something is kind and green then it is quiet. If something is quiet then it is cold. All young things are green.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is not kind.
("Charlie" "is" "kind" "-")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is not green.
("Dave" "is" "green" "-")
Dave is not kind.
("Dave" "is" "kind" "-")
Dave is round.
("Dave" "is" "round" "+")
Dave is not young.
("Dave" "is" "young" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is not young.
("Fiona" "is" "young" "-")
Cold, round things are not kind.
((("something" "is" "cold" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "-"))
If something is young and not round then it is kind.
((("something" "is" "young" "+") ("something" "is" "round" "~")) -> ("something" "is" "kind" "+"))
If something is green and not round then it is young.
((("something" "is" "green" "+") ("something" "is" "round" "~")) -> ("something" "is" "young" "+"))
If something is kind and green then it is quiet.
((("something" "is" "kind" "+") ("something" "is" "green" "+")) -> ("something" "is" "quiet" "+"))
If something is quiet then it is cold.
((("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
All young things are green.
((("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
Fiona is quiet.
True
1
proof
[(triple10)]
("Fiona" "is" "quiet" "+")
triple10
Charlie is not quiet.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "quiet" "-")
triple3
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "kind" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Charlie is blue.[(triple1)] Charlie is not kind.[(triple2)] Charlie is quiet.[(triple3)] Charlie is young.[(triple4)] Dave is not green.[(triple5)] Dave is not kind.[(triple6)] Dave is not young.[(triple8)] Dave is round.[(triple7)] Fiona is cold.[(triple9 OR ((triple10) -> rule5))] Fiona is not round.[(triple11)] Fiona is not young.[(triple12)] Fiona is quiet.[(triple10)] @1: Charlie is cold.[(((triple3) -> rule5))] Charlie is green.[(((triple4) -> rule6))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Dave is not green.
("Dave" "is" "green" "-")
triple5
Dave is not kind.
("Dave" "is" "kind" "-")
triple6
Dave is not young.
("Dave" "is" "young" "-")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
((triple10) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not round.
("Fiona" "is" "round" "-")
triple11
Fiona is not young.
("Fiona" "is" "young" "-")
triple12
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple3) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple4) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1