Bob is smart. Charlie is not quiet. Charlie is young. Dave is not quiet. Fiona is big. Fiona is quiet. Fiona is young. If Fiona is quiet then Fiona is furry. Furry things are smart.
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Fiona is quiet then Fiona is furry.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "furry" "+"))
Furry things are smart.
((("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
Charlie is not quiet.
True
1
proof
[(triple2)]
("Charlie" "is" "quiet" "-")
triple2
Fiona is not young.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "young" "-")
triple7
Fiona is furry.
True
2
proof
[(((triple6) -> rule1))]
("Fiona" "is" "furry" "+")
((triple6) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple6) -> rule1))]
("Fiona" "is" "furry" "-")
((triple6) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
True
3
proof
[(((((triple6) -> rule1)) -> rule2))]
("Fiona" "is" "smart" "+")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not smart.
False
3
inv-proof
[(((((triple6) -> rule1)) -> rule2))]
("Fiona" "is" "smart" "-")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Dave is not smart.
Unknown
inv-rconc
[@1: Dave is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "smart" "-")
Charlie is smart.
Unknown
rconc
[@1: Charlie is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "smart" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Bob is smart.[(triple1)] Charlie is not quiet.[(triple2)] Charlie is young.[(triple3)] Dave is not quiet.[(triple4)] Fiona is big.[(triple5)] Fiona is quiet.[(triple6)] Fiona is young.[(triple7)] @1: Fiona is furry.[(((triple6) -> rule1))] @2: Fiona is smart.[(((((triple6) -> rule1)) -> rule2))]
Bob is smart.
("Bob" "is" "smart" "+")
triple1
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple6) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2