Anne is big. Anne is furry. Anne is quiet. Anne is rough. Anne is white. Fiona is not big. Fiona is furry. Fiona is kind. Gary is furry. Gary is quiet. Gary is rough. Harry is furry. Harry is kind. Harry is quiet. Harry is rough. Harry is young. If someone is quiet then they are rough. If someone is kind and not big then they are quiet. If Fiona is furry and Fiona is big then Fiona is not white.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is quiet then they are rough.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and not big then they are quiet.
((("someone" "is" "kind" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "quiet" "+"))
If Fiona is furry and Fiona is big then Fiona is not white.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "big" "+")) -> ("Fiona" "is" "white" "-"))
Harry is kind.
True
1
proof
[(triple13)]
("Harry" "is" "kind" "+")
triple13
Harry is not kind.
False
1
inv-proof
[(triple13)]
("Harry" "is" "kind" "-")
triple13
Fiona is quiet.
True
3
proof
[(((triple8 triple6) -> rule2))]
("Fiona" "is" "quiet" "+")
((triple8 triple6) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not quiet.
False
3
inv-proof
[(((triple8 triple6) -> rule2))]
("Fiona" "is" "quiet" "-")
((triple8 triple6) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
True
4
proof
[(((((triple8 triple6) -> rule2)) -> rule1))]
("Fiona" "is" "rough" "+")
((((triple8 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not rough.
False
4
inv-proof
[(((((triple8 triple6) -> rule2)) -> rule1))]
("Fiona" "is" "rough" "-")
((((triple8 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
Anne is not young.
Unknown
inv-random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is quiet.[(triple3)] Anne is rough.[(triple4 OR ((triple3) -> rule1))] Anne is white.[(triple5)] Fiona is furry.[(triple7)] Fiona is kind.[(triple8)] Fiona is not big.[(triple6)] Gary is furry.[(triple9)] Gary is quiet.[(triple10)] Gary is rough.[(triple11 OR ((triple10) -> rule1))] Harry is furry.[(triple12)] Harry is kind.[(triple13)] Harry is quiet.[(triple14)] Harry is rough.[(triple15 OR ((triple14) -> rule1))] Harry is young.[(triple16)] @1: Fiona is quiet.[(((triple8 triple6) -> rule2))] @2: Fiona is rough.[(((((triple8 triple6) -> rule2)) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
((triple3) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is not big.
("Fiona" "is" "big" "-")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple11
((triple10) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
Harry is rough.
("Harry" "is" "rough" "+")
triple15
((triple14) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
triple16
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple8 triple6) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((((triple8 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2