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