Dave is nice. Dave is white. Erin is furry. Erin is green. Erin is nice. Erin is rough. Erin is white. Gary is green. Gary is quiet. Harry is round. If something is furry and green then it is round.
Dave is nice.
("Dave" "is" "nice" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
If something is furry and green then it is round.
((("something" "is" "furry" "+") ("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
Erin is rough.
True
1
proof
[(triple6)]
("Erin" "is" "rough" "+")
triple6
Erin is not rough.
False
1
inv-proof
[(triple6)]
("Erin" "is" "rough" "-")
triple6
Erin is round.
True
3
proof
[(((triple3 triple4) -> rule1))]
("Erin" "is" "round" "+")
((triple3 triple4) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not round.
False
3
inv-proof
[(((triple3 triple4) -> rule1))]
("Erin" "is" "round" "-")
((triple3 triple4) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "round" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "round" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Dave is nice.[(triple1)] Dave is white.[(triple2)] Erin is furry.[(triple3)] Erin is green.[(triple4)] Erin is nice.[(triple5)] Erin is rough.[(triple6)] Erin is white.[(triple7)] Gary is green.[(triple8)] Gary is quiet.[(triple9)] Harry is round.[(triple10)] @1: Erin is round.[(((triple3 triple4) -> rule1))]
Dave is nice.
("Dave" "is" "nice" "+")
triple1
Dave is white.
("Dave" "is" "white" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple10
Erin is round.
("Erin" "is" "round" "+")
((triple3 triple4) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1