Anne is not blue. Anne is nice. Anne is rough. Anne is round. Anne is white. Anne is young. Charlie is blue. Charlie is furry. Charlie is nice. Charlie is rough. Charlie is round. Charlie is white. Charlie is not young. Fiona is not nice. Fiona is rough. Fiona is not young. If Charlie is round then Charlie is furry. If Fiona is white then Fiona is young. All round things are furry. If Anne is not furry then Anne is not young. Nice things are rough. If something is blue and not young then it is nice.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is not young.
("Charlie" "is" "young" "-")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
If Charlie is round then Charlie is furry.
((("Charlie" "is" "round" "+")) -> ("Charlie" "is" "furry" "+"))
If Fiona is white then Fiona is young.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "young" "+"))
All round things are furry.
((("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
If Anne is not furry then Anne is not young.
((("Anne" "is" "furry" "~")) -> ("Anne" "is" "young" "-"))
Nice things are rough.
((("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
If something is blue and not young then it is nice.
((("something" "is" "blue" "+") ("something" "is" "young" "~")) -> ("something" "is" "nice" "+"))
Anne is not blue.
True
1
proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
Anne is not rough.
False
1
inv-proof
[(triple3 OR ((triple2) -> rule5))]
("Anne" "is" "rough" "-")
triple3
((triple2) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Anne is nice.[(triple2)] Anne is not blue.[(triple1)] Anne is rough.[(triple3 OR ((triple2) -> rule5))] Anne is round.[(triple4)] Anne is white.[(triple5)] Anne is young.[(triple6)] Charlie is blue.[(triple7)] Charlie is furry.[(triple8 OR ((triple11) -> rule1) OR ((triple11) -> rule3))] Charlie is nice.[(triple9 OR ((triple7 triple13) -> rule6))] Charlie is not young.[(triple13)] Charlie is rough.[(triple10 OR ((triple9) -> rule5) OR ((((triple7 triple13) -> rule6)) -> rule5))] Charlie is round.[(triple11)] Charlie is white.[(triple12)] Fiona is not nice.[(triple14)] Fiona is not young.[(triple16)] Fiona is rough.[(triple15)] @1: Anne is furry.[(((triple4) -> rule3))]
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple3
((triple2) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
Charlie is blue.
("Charlie" "is" "blue" "+")
triple7
Charlie is furry.
("Charlie" "is" "furry" "+")
triple8
((triple11) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple11) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple9
((triple7 triple13) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not young.
("Charlie" "is" "young" "-")
triple13
Charlie is rough.
("Charlie" "is" "rough" "+")
triple10
((triple9) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple7 triple13) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
triple11
Charlie is white.
("Charlie" "is" "white" "+")
triple12
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple14
Fiona is not young.
("Fiona" "is" "young" "-")
triple16
Fiona is rough.
("Fiona" "is" "rough" "+")
triple15
Anne is furry.
("Anne" "is" "furry" "+")
((triple4) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1