Bob is kind. Bob is smart. Erin is furry. All kind, smart things are young. If Erin is smart and Erin is white then Erin is not cold. If Erin is rough and Erin is furry then Erin is young.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is furry.
("Erin" "is" "furry" "+")
All kind, smart things are young.
((("something" "is" "kind" "+") ("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
If Erin is smart and Erin is white then Erin is not cold.
((("Erin" "is" "smart" "+") ("Erin" "is" "white" "+")) -> ("Erin" "is" "cold" "-"))
If Erin is rough and Erin is furry then Erin is young.
((("Erin" "is" "rough" "+") ("Erin" "is" "furry" "+")) -> ("Erin" "is" "young" "+"))
Erin is furry.
True
1
proof
[(triple3)]
("Erin" "is" "furry" "+")
triple3
Bob is not smart.
False
1
inv-proof
[(triple2)]
("Bob" "is" "smart" "-")
triple2
Bob is young.
True
3
proof
[(((triple1 triple2) -> rule1))]
("Bob" "is" "young" "+")
((triple1 triple2) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not young.
False
3
inv-proof
[(((triple1 triple2) -> rule1))]
("Bob" "is" "young" "-")
((triple1 triple2) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "young" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Bob is kind.[(triple1)] Bob is smart.[(triple2)] Erin is furry.[(triple3)] @1: Bob is young.[(((triple1 triple2) -> rule1))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
((triple1 triple2) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1