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