Anne is nice. Anne is quiet. Anne is rough. Anne is young. Erin is rough. Erin is young. Fiona is furry. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is young. Gary is green. Gary is nice. Gary is rough. Gary is young. All rough things are furry. If something is nice and young then it is quiet.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
All rough things are furry.
((("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
If something is nice and young then it is quiet.
((("something" "is" "nice" "+") ("something" "is" "young" "+")) -> ("something" "is" "quiet" "+"))
Fiona is nice.
True
1
proof
[(triple9)]
("Fiona" "is" "nice" "+")
triple9
Gary is not young.
False
1
inv-proof
[(triple15)]
("Gary" "is" "young" "-")
triple15
Anne is furry.
True
2
proof
[(((triple3) -> rule1))]
("Anne" "is" "furry" "+")
((triple3) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Gary is not quiet.
False
3
inv-proof
[(((triple13 triple15) -> rule2))]
("Gary" "is" "quiet" "-")
((triple13 triple15) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Erin is not quiet.
Unknown
inv-rconc
[@1: Erin is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "quiet" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2 OR ((triple1 triple4) -> rule2))] Anne is rough.[(triple3)] Anne is young.[(triple4)] Erin is rough.[(triple5)] Erin is young.[(triple6)] Fiona is furry.[(triple7)] Fiona is green.[(triple8)] Fiona is nice.[(triple9)] Fiona is quiet.[(triple10 OR ((triple9 triple11) -> rule2))] Fiona is young.[(triple11)] Gary is green.[(triple12)] Gary is nice.[(triple13)] Gary is rough.[(triple14)] Gary is young.[(triple15)] @1: Anne is furry.[(((triple3) -> rule1))] Erin is furry.[(((triple5) -> rule1))] Gary is furry.[(((triple14) -> rule1))] Gary is quiet.[(((triple13 triple15) -> rule2))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
((triple1 triple4) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Erin is young.
("Erin" "is" "young" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
((triple9 triple11) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple13
Gary is rough.
("Gary" "is" "rough" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple15
Anne is furry.
("Anne" "is" "furry" "+")
((triple3) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple5) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple14) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple13 triple15) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1