Anne is rough. Anne is round. Bob is kind. Bob is nice. Bob is quiet. Erin is cold. Erin is kind. Erin is nice. Erin is not rough. Erin is round. Erin is young. Harry is cold. Harry is kind. Harry is nice. Harry is rough. All young things are kind.
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
All young things are kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
Erin is not rough.
True
1
proof
[(triple9)]
("Erin" "is" "rough" "-")
triple9
Harry is not kind.
False
1
inv-proof
[(triple13)]
("Harry" "is" "kind" "-")
triple13
Anne is not kind.
Unknown
inv-rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "kind" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Anne is rough.[(triple1)] Anne is round.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is quiet.[(triple5)] Erin is cold.[(triple6)] Erin is kind.[(triple7 OR ((triple11) -> rule1))] Erin is nice.[(triple8)] Erin is not rough.[(triple9)] Erin is round.[(triple10)] Erin is young.[(triple11)] Harry is cold.[(triple12)] Harry is kind.[(triple13)] Harry is nice.[(triple14)] Harry is rough.[(triple15)]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Erin is cold.
("Erin" "is" "cold" "+")
triple6
Erin is kind.
("Erin" "is" "kind" "+")
triple7
((triple11) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
triple8
Erin is not rough.
("Erin" "is" "rough" "-")
triple9
Erin is round.
("Erin" "is" "round" "+")
triple10
Erin is young.
("Erin" "is" "young" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple13
Harry is nice.
("Harry" "is" "nice" "+")
triple14
Harry is rough.
("Harry" "is" "rough" "+")
triple15