Anne is furry. Anne is kind. Anne is nice. Anne is rough. Anne is round. Anne is young. Charlie is furry. Charlie is kind. Charlie is young. Fiona is furry. Fiona is nice. Fiona is rough. Fiona is round. Fiona is white. Fiona is young. If someone is round then they are rough.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If someone is round then they are rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
Fiona is young.
True
1
proof
[(triple15)]
("Fiona" "is" "young" "+")
triple15
Charlie is not furry.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "furry" "-")
triple7
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is rough.[(triple4 OR ((triple5) -> rule1))] Anne is round.[(triple5)] Anne is young.[(triple6)] Charlie is furry.[(triple7)] Charlie is kind.[(triple8)] Charlie is young.[(triple9)] Fiona is furry.[(triple10)] Fiona is nice.[(triple11)] Fiona is rough.[(triple12 OR ((triple13) -> rule1))] Fiona is round.[(triple13)] Fiona is white.[(triple14)] Fiona is young.[(triple15)]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
((triple5) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
Charlie is furry.
("Charlie" "is" "furry" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
triple8
Charlie is young.
("Charlie" "is" "young" "+")
triple9
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
Fiona is nice.
("Fiona" "is" "nice" "+")
triple11
Fiona is rough.
("Fiona" "is" "rough" "+")
triple12
((triple13) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple13
Fiona is white.
("Fiona" "is" "white" "+")
triple14
Fiona is young.
("Fiona" "is" "young" "+")
triple15