Bob is red. Erin is big. Fiona is big. Harry is kind. Furry things are smart. All smart things are quiet. Big things are furry.
Bob is red.
("Bob" "is" "red" "+")
Erin is big.
("Erin" "is" "big" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Furry things are smart.
((("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
All smart things are quiet.
((("something" "is" "smart" "+")) -> ("something" "is" "quiet" "+"))
Big things are furry.
((("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
Bob is red.
True
1
proof
[(triple1)]
("Bob" "is" "red" "+")
triple1
Fiona is not big.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "big" "-")
triple3
Erin is furry.
True
2
proof
[(((triple2) -> rule3))]
("Erin" "is" "furry" "+")
((triple2) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple3) -> rule3))]
("Fiona" "is" "furry" "-")
((triple3) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Erin is smart.
True
3
proof
[(((((triple2) -> rule3)) -> rule1))]
("Erin" "is" "smart" "+")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is not smart.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule1))]
("Erin" "is" "smart" "-")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Fiona is quiet.
True
4
proof
[(((((((triple3) -> rule3)) -> rule1)) -> rule2))]
("Fiona" "is" "quiet" "+")
((((((triple3) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is not quiet.
False
4
inv-proof
[(((((((triple3) -> rule3)) -> rule1)) -> rule2))]
("Fiona" "is" "quiet" "-")
((((((triple3) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Bob is not furry.
Unknown
inv-rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "furry" "-")
Harry is smart.
Unknown
rconc
[@2: Harry is smart.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Harry" "is" "smart" "+")
Harry is not quiet.
Unknown
inv-rconc
[@3: Harry is quiet.[CWA. Example of deepest failure = (rule2 <- rule1 <- rule3 <- FAIL)]]
("Harry" "is" "quiet" "-")
Harry is furry.
Unknown
rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "furry" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is red.[(triple1)] Erin is big.[(triple2)] Fiona is big.[(triple3)] Harry is kind.[(triple4)] @1: Erin is furry.[(((triple2) -> rule3))] Fiona is furry.[(((triple3) -> rule3))] @2: Erin is smart.[(((((triple2) -> rule3)) -> rule1))] Fiona is smart.[(((((triple3) -> rule3)) -> rule1))] @3: Erin is quiet.[(((((((triple2) -> rule3)) -> rule1)) -> rule2))] Fiona is quiet.[(((((((triple3) -> rule3)) -> rule1)) -> rule2))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
Harry is kind.
("Harry" "is" "kind" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
((triple2) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple3) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
((((((triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((((triple3) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3