Anne is quiet. Anne is red. Anne is rough. Anne is not round. Anne is not smart. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is round. Fiona is green. Fiona is nice. Fiona is not quiet. Fiona is red. Fiona is rough. Fiona is not round. If someone is nice and not smart then they are rough. If Charlie is green then Charlie is round.
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is not round.
("Anne" "is" "round" "-")
Anne is not smart.
("Anne" "is" "smart" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
If someone is nice and not smart then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "rough" "+"))
If Charlie is green then Charlie is round.
((("Charlie" "is" "green" "+")) -> ("Charlie" "is" "round" "+"))
Charlie is green.
True
1
proof
[(triple6)]
("Charlie" "is" "green" "+")
triple6
Anne is not red.
False
1
inv-proof
[(triple2)]
("Anne" "is" "red" "-")
triple2
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "rough" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Anne is not round.[(triple4)] Anne is not smart.[(triple5)] Anne is quiet.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Charlie is green.[(triple6)] Charlie is nice.[(triple7)] Charlie is quiet.[(triple8)] Charlie is red.[(triple9)] Charlie is round.[(triple10 OR ((triple6) -> rule2))] Fiona is green.[(triple11)] Fiona is nice.[(triple12)] Fiona is not quiet.[(triple13)] Fiona is not round.[(triple16)] Fiona is red.[(triple14)] Fiona is rough.[(triple15)]
Anne is not round.
("Anne" "is" "round" "-")
triple4
Anne is not smart.
("Anne" "is" "smart" "-")
triple5
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple8
Charlie is red.
("Charlie" "is" "red" "+")
triple9
Charlie is round.
("Charlie" "is" "round" "+")
triple10
((triple6) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple11
Fiona is nice.
("Fiona" "is" "nice" "+")
triple12
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple13
Fiona is not round.
("Fiona" "is" "round" "-")
triple16
Fiona is red.
("Fiona" "is" "red" "+")
triple14
Fiona is rough.
("Fiona" "is" "rough" "+")
triple15