Bob is nice. Bob is quiet. Bob is red. Fiona is big. Fiona is nice. Harry is green. Harry is white. If someone is quiet then they are green. All white people are big. If Bob is quiet then Bob is big.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is white.
("Harry" "is" "white" "+")
If someone is quiet then they are green.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
All white people are big.
((("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
If Bob is quiet then Bob is big.
((("Bob" "is" "quiet" "+")) -> ("Bob" "is" "big" "+"))
Bob is nice.
True
1
proof
[(triple1)]
("Bob" "is" "nice" "+")
triple1
Fiona is not nice.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "nice" "-")
triple5
Bob is green.
True
2
proof
[(((triple2) -> rule1))]
("Bob" "is" "green" "+")
((triple2) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Harry is not big.
False
2
inv-proof
[(((triple7) -> rule2))]
("Harry" "is" "big" "-")
((triple7) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Fiona is not green.
Unknown
inv-rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "green" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
Harry is not smart.
Unknown
inv-random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Bob is nice.[(triple1)] Bob is quiet.[(triple2)] Bob is red.[(triple3)] Fiona is big.[(triple4)] Fiona is nice.[(triple5)] Harry is green.[(triple6)] Harry is white.[(triple7)] @1: Bob is big.[(((triple2) -> rule3))] Bob is green.[(((triple2) -> rule1))] Harry is big.[(((triple7) -> rule2))]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7
Bob is big.
("Bob" "is" "big" "+")
((triple2) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((triple2) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple7) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1