Bob is young. Erin is green. Erin is nice. Erin is quiet. Erin is rough. Erin is round. Harry is kind. All kind, nice people are rough. If Harry is young then Harry is rough. If Erin is quiet then Erin is round. All rough, nice people are kind. If someone is nice then they are round. If Harry is quiet and Harry is young then Harry is rough. If Bob is kind then Bob is rough. All kind, quiet people are rough.
Bob is young.
("Bob" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Harry is kind.
("Harry" "is" "kind" "+")
All kind, nice people are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If Harry is young then Harry is rough.
((("Harry" "is" "young" "+")) -> ("Harry" "is" "rough" "+"))
If Erin is quiet then Erin is round.
((("Erin" "is" "quiet" "+")) -> ("Erin" "is" "round" "+"))
All rough, nice people are kind.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice then they are round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If Harry is quiet and Harry is young then Harry is rough.
((("Harry" "is" "quiet" "+") ("Harry" "is" "young" "+")) -> ("Harry" "is" "rough" "+"))
If Bob is kind then Bob is rough.
((("Bob" "is" "kind" "+")) -> ("Bob" "is" "rough" "+"))
All kind, quiet people are rough.
((("someone" "is" "kind" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
Harry is kind.
True
1
proof
[(triple7)]
("Harry" "is" "kind" "+")
triple7
Bob is not young.
False
1
inv-proof
[(triple1)]
("Bob" "is" "young" "-")
triple1
Erin is kind.
True
3
proof
[(((triple5 triple3) -> rule4))]
("Erin" "is" "kind" "+")
((triple5 triple3) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is not kind.
False
3
inv-proof
[(((triple5 triple3) -> rule4))]
("Erin" "is" "kind" "-")
((triple5 triple3) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "round" "+")
Bob is not quiet.
Unknown
inv-random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Bob is young.[(triple1)] Erin is green.[(triple2)] Erin is nice.[(triple3)] Erin is quiet.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6 OR ((triple3) -> rule5) OR ((triple4) -> rule3))] Harry is kind.[(triple7)] @1: Erin is kind.[(((triple5 triple3) -> rule4))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
((triple3) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple4) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Erin is kind.
("Erin" "is" "kind" "+")
((triple5 triple3) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1