Anne is furry. Anne is green. Anne is nice. Anne is red. Anne is round. Anne is smart. Anne is young. Fiona is not nice. Fiona is red. Fiona is smart. Gary is furry. Gary is green. Gary is nice. Gary is red. Gary is round. Gary is young. If something is smart then it is furry.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
If something is smart then it is furry.
((("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
Gary is round.
True
1
proof
[(triple15)]
("Gary" "is" "round" "+")
triple15
Fiona is not smart.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "smart" "-")
triple10
Fiona is furry.
True
2
proof
[(((triple10) -> rule1))]
("Fiona" "is" "furry" "+")
((triple10) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple10) -> rule1))]
("Fiona" "is" "furry" "-")
((triple10) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Anne is furry.[(triple1 OR ((triple6) -> rule1))] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7)] Fiona is not nice.[(triple8)] Fiona is red.[(triple9)] Fiona is smart.[(triple10)] Gary is furry.[(triple11)] Gary is green.[(triple12)] Gary is nice.[(triple13)] Gary is red.[(triple14)] Gary is round.[(triple15)] Gary is young.[(triple16)] @1: Fiona is furry.[(((triple10) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
((triple6) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
Anne is smart.
("Anne" "is" "smart" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Gary is furry.
("Gary" "is" "furry" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple13
Gary is red.
("Gary" "is" "red" "+")
triple14
Gary is round.
("Gary" "is" "round" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple10) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1