Anne is not kind. Anne is round. Anne is not young. Bob is nice. Bob is not rough. Bob is round. Bob is not young. Fiona is kind. Fiona is not nice. Fiona is rough. All rough people are round. All big, round people are rough. If someone is smart then they are not kind. If someone is kind and not round then they are nice. If someone is smart and not round then they are nice. Nice people are not young.
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is round.
("Anne" "is" "round" "+")
Anne is not young.
("Anne" "is" "young" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is not rough.
("Bob" "is" "rough" "-")
Bob is round.
("Bob" "is" "round" "+")
Bob is not young.
("Bob" "is" "young" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
All rough people are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
All big, round people are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is smart then they are not kind.
((("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "-"))
If someone is kind and not round then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "nice" "+"))
If someone is smart and not round then they are nice.
((("someone" "is" "smart" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "nice" "+"))
Nice people are not young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "-"))
Anne is not young.
True
1
proof
[(triple3)]
("Anne" "is" "young" "-")
triple3
Bob is young.
False
1
inv-proof
[(triple7 OR ((triple4) -> rule6))]
("Bob" "is" "young" "+")
triple7
((triple4) -> (rule6 % int1))
Bob is not young.
("Bob" "is" "young" "-")
int1
Anne is not rough.
Unknown
inv-rconc
[@1: Anne is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "rough" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
@0: Anne is not kind.[(triple1)] Anne is not young.[(triple3)] Anne is round.[(triple2)] Bob is nice.[(triple4)] Bob is not rough.[(triple5)] Bob is not young.[(triple7 OR ((triple4) -> rule6))] Bob is round.[(triple6)] Fiona is kind.[(triple8)] Fiona is not nice.[(triple9)] Fiona is rough.[(triple10)] @1: Fiona is round.[(((triple10) -> rule1))]
Anne is not kind.
("Anne" "is" "kind" "-")
triple1
Anne is not young.
("Anne" "is" "young" "-")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is not rough.
("Bob" "is" "rough" "-")
triple5
Bob is not young.
("Bob" "is" "young" "-")
triple7
((triple4) -> (rule6 % int1))
Bob is not young.
("Bob" "is" "young" "-")
int1
Bob is round.
("Bob" "is" "round" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
((triple10) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1