Bob is not blue. Bob is kind. Bob is not nice. Bob is quiet. Bob is not rough. Bob is round. Bob is young. Erin is blue. Erin is not quiet. Erin is round. Erin is young. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is rough. Blue people are kind. If someone is blue and quiet then they are rough. Blue people are not quiet.
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is not rough.
("Bob" "is" "rough" "-")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Blue people are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and quiet then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
Blue people are not quiet.
((("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "-"))
Bob is quiet.
True
1
proof
[(triple4)]
("Bob" "is" "quiet" "+")
triple4
Bob is not quiet.
False
1
inv-proof
[(triple4)]
("Bob" "is" "quiet" "-")
triple4
Fiona is not quiet.
True
2
proof
[(((triple12) -> rule3))]
("Fiona" "is" "quiet" "-")
((triple12) -> (rule3 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is quiet.
False
2
inv-proof
[(((triple12) -> rule3))]
("Fiona" "is" "quiet" "+")
((triple12) -> (rule3 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "rough" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Bob is kind.[(triple2)] Bob is not blue.[(triple1)] Bob is not nice.[(triple3)] Bob is not rough.[(triple5)] Bob is quiet.[(triple4)] Bob is round.[(triple6)] Bob is young.[(triple7)] Erin is blue.[(triple8)] Erin is not quiet.[(triple9 OR ((triple8) -> rule3))] Erin is round.[(triple10)] Erin is young.[(triple11)] Fiona is blue.[(triple12)] Fiona is kind.[(triple13 OR ((triple12) -> rule1))] Fiona is nice.[(triple14)] Fiona is rough.[(triple15)] @1: Erin is kind.[(((triple8) -> rule1))] Fiona is not quiet.[(((triple12) -> rule3))]
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is not blue.
("Bob" "is" "blue" "-")
triple1
Bob is not nice.
("Bob" "is" "nice" "-")
triple3
Bob is not rough.
("Bob" "is" "rough" "-")
triple5
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple7
Erin is blue.
("Erin" "is" "blue" "+")
triple8
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple9
((triple8) -> (rule3 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1
Erin is round.
("Erin" "is" "round" "+")
triple10
Erin is young.
("Erin" "is" "young" "+")
triple11
Fiona is blue.
("Fiona" "is" "blue" "+")
triple12
Fiona is kind.
("Fiona" "is" "kind" "+")
triple13
((triple12) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple14
Fiona is rough.
("Fiona" "is" "rough" "+")
triple15
Erin is kind.
("Erin" "is" "kind" "+")
((triple8) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
((triple12) -> (rule3 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1