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