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