Bob is furry. Bob is young. Dave is furry. Erin is cold. Erin is kind. Erin is red. Erin is rough. Erin is white. Erin is young. Gary is cold. Gary is kind. Gary is red. If something is white then it is furry. If something is young then it is red.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
If something is white then it is furry.
((("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
If something is young then it is red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
Erin is cold.
True
1
proof
[(triple4)]
("Erin" "is" "cold" "+")
triple4
Erin is not young.
False
1
inv-proof
[(triple9)]
("Erin" "is" "young" "-")
triple9
Gary is not furry.
Unknown
inv-rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "furry" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Bob is furry.[(triple1)] Bob is young.[(triple2)] Dave is furry.[(triple3)] Erin is cold.[(triple4)] Erin is kind.[(triple5)] Erin is red.[(triple6 OR ((triple9) -> rule2))] Erin is rough.[(triple7)] Erin is white.[(triple8)] Erin is young.[(triple9)] Gary is cold.[(triple10)] Gary is kind.[(triple11)] Gary is red.[(triple12)] @1: Bob is red.[(((triple2) -> rule2))] Erin is furry.[(((triple8) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple6
((triple9) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple7
Erin is white.
("Erin" "is" "white" "+")
triple8
Erin is young.
("Erin" "is" "young" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple12
Bob is red.
("Bob" "is" "red" "+")
((triple2) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple8) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1