Bob is furry. Fiona is rough. If Fiona is rough then Fiona is smart. All furry people are smart. If Bob is smart and Bob is kind then Bob is white. If someone is smart then they are quiet. All quiet, young people are white. If someone is quiet then they are white.
Bob is furry.
("Bob" "is" "furry" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
If Fiona is rough then Fiona is smart.
((("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "smart" "+"))
All furry people are smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
If Bob is smart and Bob is kind then Bob is white.
((("Bob" "is" "smart" "+") ("Bob" "is" "kind" "+")) -> ("Bob" "is" "white" "+"))
If someone is smart then they are quiet.
((("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
All quiet, young people are white.
((("someone" "is" "quiet" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
If someone is quiet then they are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
Bob is furry.
True
1
proof
[(triple1)]
("Bob" "is" "furry" "+")
triple1
Fiona is not rough.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "rough" "-")
triple2
Fiona is smart.
True
2
proof
[(((triple2) -> rule1))]
("Fiona" "is" "smart" "+")
((triple2) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not smart.
False
2
inv-proof
[(((triple2) -> rule1))]
("Fiona" "is" "smart" "-")
((triple2) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Bob is quiet.
True
3
proof
[(((((triple1) -> rule2)) -> rule4))]
("Bob" "is" "quiet" "+")
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Fiona is not quiet.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule4))]
("Fiona" "is" "quiet" "-")
((((triple2) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is white.
True
4
proof
[(((((((triple2) -> rule1)) -> rule4)) -> rule6))]
("Fiona" "is" "white" "+")
((((((triple2) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Bob is not white.
False
4
inv-proof
[(((((((triple1) -> rule2)) -> rule4)) -> rule6))]
("Bob" "is" "white" "-")
((((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is furry.[(triple1)] Fiona is rough.[(triple2)] @1: Bob is smart.[(((triple1) -> rule2))] Fiona is smart.[(((triple2) -> rule1))] @2: Bob is quiet.[(((((triple1) -> rule2)) -> rule4))] Fiona is quiet.[(((((triple2) -> rule1)) -> rule4))] @3: Bob is white.[(((((((triple1) -> rule2)) -> rule4)) -> rule6))] Fiona is white.[(((((((triple2) -> rule1)) -> rule4)) -> rule6))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
((triple1) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple2) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple2) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
((((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
((((((triple2) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3