Bob is green. Bob is round. Dave is green. Dave is nice. Erin is nice. Harry is green. Harry is round. All nice things are rough.
Bob is green.
("Bob" "is" "green" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
All nice things are rough.
((("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
Dave is nice.
True
1
proof
[(triple4)]
("Dave" "is" "nice" "+")
triple4
Dave is not nice.
False
1
inv-proof
[(triple4)]
("Dave" "is" "nice" "-")
triple4
Dave is rough.
True
2
proof
[(((triple4) -> rule1))]
("Dave" "is" "rough" "+")
((triple4) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is not rough.
False
2
inv-proof
[(((triple4) -> rule1))]
("Dave" "is" "rough" "-")
((triple4) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "rough" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "rough" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Bob is green.[(triple1)] Bob is round.[(triple2)] Dave is green.[(triple3)] Dave is nice.[(triple4)] Erin is nice.[(triple5)] Harry is green.[(triple6)] Harry is round.[(triple7)] @1: Dave is rough.[(((triple4) -> rule1))] Erin is rough.[(((triple5) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
((triple4) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple5) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1