Bob is not young. Erin is smart. Fiona is white. Gary is white. If something is furry and not quiet then it is young. If something is furry then it is young. Young things are white. If Fiona is quiet and Fiona is smart then Fiona is furry. All nice, smart things are furry. If something is white then it is furry.
Bob is not young.
("Bob" "is" "young" "-")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is white.
("Gary" "is" "white" "+")
If something is furry and not quiet then it is young.
((("something" "is" "furry" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "young" "+"))
If something is furry then it is young.
((("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
Young things are white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
If Fiona is quiet and Fiona is smart then Fiona is furry.
((("Fiona" "is" "quiet" "+") ("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "furry" "+"))
All nice, smart things are furry.
((("something" "is" "nice" "+") ("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
If something is white then it is furry.
((("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
Fiona is white.
True
1
proof
[(triple3)]
("Fiona" "is" "white" "+")
triple3
Bob is young.
False
1
inv-proof
[(triple1)]
("Bob" "is" "young" "+")
triple1
Fiona is furry.
True
2
proof
[(((triple3) -> rule6))]
("Fiona" "is" "furry" "+")
((triple3) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple3) -> rule6))]
("Fiona" "is" "furry" "-")
((triple3) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Erin is not white.
Unknown
inv-rconc
[@3: Erin is white.[CWA. Example of deepest failure = (rule3 <- rule2 <- rule5 <- FAIL)]]
("Erin" "is" "white" "-")
Erin is young.
Unknown
rconc
[@4: Erin is young.[CWA. Example of deepest failure = (rule2 <- rule6 <- rule3 <- rule1 <- FAIL)]]
("Erin" "is" "young" "+")
Bob is not quiet.
Unknown
inv-random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Bob is not young.[(triple1)] Erin is smart.[(triple2)] Fiona is white.[(triple3)] Gary is white.[(triple4)] @1: Fiona is furry.[(((triple3) -> rule6))] Gary is furry.[(((triple4) -> rule6))] @2: Fiona is young.[(((((triple3) -> rule6)) -> rule2))] Gary is young.[(((((triple4) -> rule6)) -> rule2))]
Bob is not young.
("Bob" "is" "young" "-")
triple1
Erin is smart.
("Erin" "is" "smart" "+")
triple2
Fiona is white.
("Fiona" "is" "white" "+")
triple3
Gary is white.
("Gary" "is" "white" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple3) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple4) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((triple4) -> (rule6 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2