Anne is cold. Anne is furry. Anne is green. Bob is cold. Bob is furry. Bob is kind. Bob is nice. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is not nice. Erin is smart. All nice people are rough. If someone is green then they are nice.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is not nice.
("Charlie" "is" "nice" "-")
Erin is smart.
("Erin" "is" "smart" "+")
All nice people are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is green then they are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Anne is furry.
True
1
proof
[(triple2)]
("Anne" "is" "furry" "+")
triple2
Charlie is not furry.
False
1
inv-proof
[(triple9)]
("Charlie" "is" "furry" "-")
triple9
Bob is rough.
True
2
proof
[(((triple7) -> rule1))]
("Bob" "is" "rough" "+")
((triple7) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not rough.
False
2
inv-proof
[(((triple7) -> rule1))]
("Bob" "is" "rough" "-")
((triple7) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Anne is rough.
True
3
proof
[(((((triple3) -> rule2)) -> rule1))]
("Anne" "is" "rough" "+")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is not rough.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule1))]
("Anne" "is" "rough" "-")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Erin is not nice.
Unknown
inv-rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "nice" "-")
Erin is rough.
Unknown
rconc
[@2: Erin is rough.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Erin" "is" "rough" "+")
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "rough" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Charlie is not smart.
Unknown
inv-random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Bob is cold.[(triple4)] Bob is furry.[(triple5)] Bob is kind.[(triple6)] Bob is nice.[(triple7)] Charlie is cold.[(triple8)] Charlie is furry.[(triple9)] Charlie is kind.[(triple10)] Charlie is not nice.[(triple11)] Erin is smart.[(triple12)] @1: Anne is nice.[(((triple3) -> rule2))] Bob is rough.[(((triple7) -> rule1))] @2: Anne is rough.[(((((triple3) -> rule2)) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is furry.
("Bob" "is" "furry" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is nice.
("Bob" "is" "nice" "+")
triple7
Charlie is cold.
("Charlie" "is" "cold" "+")
triple8
Charlie is furry.
("Charlie" "is" "furry" "+")
triple9
Charlie is kind.
("Charlie" "is" "kind" "+")
triple10
Charlie is not nice.
("Charlie" "is" "nice" "-")
triple11
Erin is smart.
("Erin" "is" "smart" "+")
triple12
Anne is nice.
("Anne" "is" "nice" "+")
((triple3) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple7) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2