Anne is red. Anne is round. Anne is smart. Anne is young. Charlie is quiet. Charlie is smart. Fiona is big. Fiona is not red. Gary is red. Gary is round. Gary is smart. Gary is young. If Charlie is not young then Charlie is quiet. If Fiona is round then Fiona is kind. If someone is big then they are not kind. All big people are smart. All young, big people are round. If Gary is not smart then Gary is kind.
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
If Charlie is not young then Charlie is quiet.
((("Charlie" "is" "young" "~")) -> ("Charlie" "is" "quiet" "+"))
If Fiona is round then Fiona is kind.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "kind" "+"))
If someone is big then they are not kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "-"))
All big people are smart.
((("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
All young, big people are round.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If Gary is not smart then Gary is kind.
((("Gary" "is" "smart" "~")) -> ("Gary" "is" "kind" "+"))
Fiona is big.
True
1
proof
[(triple7)]
("Fiona" "is" "big" "+")
triple7
Anne is not round.
False
1
inv-proof
[(triple2)]
("Anne" "is" "round" "-")
triple2
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "round" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Anne is red.[(triple1)] Anne is round.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Charlie is quiet.[(triple5)] Charlie is smart.[(triple6)] Fiona is big.[(triple7)] Fiona is not red.[(triple8)] Gary is red.[(triple9)] Gary is round.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12)] @1: Fiona is not kind.[(((triple7) -> rule3))] Fiona is smart.[(((triple7) -> rule4))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple5
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Fiona is not red.
("Fiona" "is" "red" "-")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple10
Gary is smart.
("Gary" "is" "smart" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Fiona is not kind.
("Fiona" "is" "kind" "-")
((triple7) -> (rule3 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple7) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1