Bob is kind. Bob is smart. Bob is white. Erin is not cold. Erin is not kind. Erin is rough. Erin is not round. Erin is not smart. Erin is white. Harry is kind. Harry is not round. Harry is not young. If something is rough and not kind then it is young. All smart, rough things are not white. If Bob is cold then Bob is young. If Bob is round then Bob is young. If Bob is smart then Bob is young. All white things are not round.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is not round.
("Erin" "is" "round" "-")
Erin is not smart.
("Erin" "is" "smart" "-")
Erin is white.
("Erin" "is" "white" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not round.
("Harry" "is" "round" "-")
Harry is not young.
("Harry" "is" "young" "-")
If something is rough and not kind then it is young.
((("something" "is" "rough" "+") ("something" "is" "kind" "~")) -> ("something" "is" "young" "+"))
All smart, rough things are not white.
((("something" "is" "smart" "+") ("something" "is" "rough" "+")) -> ("something" "is" "white" "-"))
If Bob is cold then Bob is young.
((("Bob" "is" "cold" "+")) -> ("Bob" "is" "young" "+"))
If Bob is round then Bob is young.
((("Bob" "is" "round" "+")) -> ("Bob" "is" "young" "+"))
If Bob is smart then Bob is young.
((("Bob" "is" "smart" "+")) -> ("Bob" "is" "young" "+"))
All white things are not round.
((("something" "is" "white" "+")) -> ("something" "is" "round" "-"))
Bob is kind.
True
1
proof
[(triple1)]
("Bob" "is" "kind" "+")
triple1
Harry is not kind.
False
1
inv-proof
[(triple10)]
("Harry" "is" "kind" "-")
triple10
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is kind.[(triple1)] Bob is smart.[(triple2)] Bob is white.[(triple3)] Erin is not cold.[(triple4)] Erin is not kind.[(triple5)] Erin is not round.[(triple7 OR ((triple9) -> rule6))] Erin is not smart.[(triple8)] Erin is rough.[(triple6)] Erin is white.[(triple9)] Harry is kind.[(triple10)] Harry is not round.[(triple11)] Harry is not young.[(triple12)] @1: Bob is not round.[(((triple3) -> rule6))] Bob is young.[(((triple2) -> rule5))] Erin is young.[(((triple6 triple5) -> rule1))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Bob is white.
("Bob" "is" "white" "+")
triple3
Erin is not cold.
("Erin" "is" "cold" "-")
triple4
Erin is not kind.
("Erin" "is" "kind" "-")
triple5
Erin is not round.
("Erin" "is" "round" "-")
triple7
((triple9) -> (rule6 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Erin is not smart.
("Erin" "is" "smart" "-")
triple8
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is not round.
("Harry" "is" "round" "-")
triple11
Harry is not young.
("Harry" "is" "young" "-")
triple12
Bob is not round.
("Bob" "is" "round" "-")
((triple3) -> (rule6 % int1))
Bob is not round.
("Bob" "is" "round" "-")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple2) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple6 triple5) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1