Bob is blue. Bob is rough. Bob is not round. Dave is furry. Dave is kind. Dave is rough. Dave is not round. Erin is blue. Erin is furry. Fiona is big. Fiona is not kind. Fiona is not quiet. Furry people are rough.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is not round.
("Bob" "is" "round" "-")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is not round.
("Dave" "is" "round" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Furry people are rough.
((("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
Dave is not round.
True
1
proof
[(triple7)]
("Dave" "is" "round" "-")
triple7
Fiona is kind.
False
1
inv-proof
[(triple11)]
("Fiona" "is" "kind" "+")
triple11
Erin is rough.
True
2
proof
[(((triple9) -> rule1))]
("Erin" "is" "rough" "+")
((triple9) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is not rough.
False
2
inv-proof
[(((triple9) -> rule1))]
("Erin" "is" "rough" "-")
((triple9) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "rough" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Bob is blue.[(triple1)] Bob is not round.[(triple3)] Bob is rough.[(triple2)] Dave is furry.[(triple4)] Dave is kind.[(triple5)] Dave is not round.[(triple7)] Dave is rough.[(triple6 OR ((triple4) -> rule1))] Erin is blue.[(triple8)] Erin is furry.[(triple9)] Fiona is big.[(triple10)] Fiona is not kind.[(triple11)] Fiona is not quiet.[(triple12)] @1: Erin is rough.[(((triple9) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is not round.
("Bob" "is" "round" "-")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is not round.
("Dave" "is" "round" "-")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple6
((triple4) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
triple8
Erin is furry.
("Erin" "is" "furry" "+")
triple9
Fiona is big.
("Fiona" "is" "big" "+")
triple10
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple11
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple12
Erin is rough.
("Erin" "is" "rough" "+")
((triple9) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1