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