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