Bob is big. Erin is kind. Erin is quiet. Fiona is big. Fiona is kind. Fiona is rough. Fiona is white. Harry is big. Harry is rough. Harry is white. Kind, white people are quiet.
Bob is big.
("Bob" "is" "big" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
Kind, white people are quiet.
((("someone" "is" "kind" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
Fiona is big.
True
1
proof
[(triple4)]
("Fiona" "is" "big" "+")
triple4
Erin is not kind.
False
1
inv-proof
[(triple2)]
("Erin" "is" "kind" "-")
triple2
Fiona is quiet.
True
3
proof
[(((triple5 triple7) -> rule1))]
("Fiona" "is" "quiet" "+")
((triple5 triple7) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not quiet.
False
3
inv-proof
[(((triple5 triple7) -> rule1))]
("Fiona" "is" "quiet" "-")
((triple5 triple7) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Harry is not quiet.
Unknown
inv-rconc
[@1: Harry is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "quiet" "-")
Bob is quiet.
Unknown
rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "quiet" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Bob is big.[(triple1)] Erin is kind.[(triple2)] Erin is quiet.[(triple3)] Fiona is big.[(triple4)] Fiona is kind.[(triple5)] Fiona is rough.[(triple6)] Fiona is white.[(triple7)] Harry is big.[(triple8)] Harry is rough.[(triple9)] Harry is white.[(triple10)] @1: Fiona is quiet.[(((triple5 triple7) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple5 triple7) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1