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