Bob is quiet. Erin is nice. Erin is quiet. Erin is round. Erin is smart. Erin is young. Fiona is kind. Fiona is not nice. Fiona is round. Fiona is smart. If Erin is young then Erin is rough. All rough things are not kind. If something is young and not rough then it is smart. If something is nice and not kind then it is round. Young, smart things are nice. If Fiona is young and Fiona is not smart then Fiona is not round.
Bob is quiet.
("Bob" "is" "quiet" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If Erin is young then Erin is rough.
((("Erin" "is" "young" "+")) -> ("Erin" "is" "rough" "+"))
All rough things are not kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "-"))
If something is young and not rough then it is smart.
((("something" "is" "young" "+") ("something" "is" "rough" "~")) -> ("something" "is" "smart" "+"))
If something is nice and not kind then it is round.
((("something" "is" "nice" "+") ("something" "is" "kind" "~")) -> ("something" "is" "round" "+"))
Young, smart things are nice.
((("something" "is" "young" "+") ("something" "is" "smart" "+")) -> ("something" "is" "nice" "+"))
If Fiona is young and Fiona is not smart then Fiona is not round.
((("Fiona" "is" "young" "+") ("Fiona" "is" "smart" "~")) -> ("Fiona" "is" "round" "-"))
Fiona is not nice.
True
1
proof
[(triple8)]
("Fiona" "is" "nice" "-")
triple8
Erin is not nice.
False
1
inv-proof
[(triple2 OR ((triple6 triple5) -> rule5))]
("Erin" "is" "nice" "-")
triple2
((triple6 triple5) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is rough.
True
2
proof
[(((triple6) -> rule1))]
("Erin" "is" "rough" "+")
((triple6) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is not rough.
False
2
inv-proof
[(((triple6) -> rule1))]
("Erin" "is" "rough" "-")
((triple6) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is not kind.
True
3
proof
[(((((triple6) -> rule1)) -> rule2))]
("Erin" "is" "kind" "-")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is kind.
False
3
inv-proof
[(((((triple6) -> rule1)) -> rule2))]
("Erin" "is" "kind" "+")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Bob is not smart.
Unknown
inv-rconc
[@1: Bob is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "smart" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "nice" "+")
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "round" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is quiet.[(triple1)] Erin is nice.[(triple2 OR ((triple6 triple5) -> rule5))] Erin is quiet.[(triple3)] Erin is round.[(triple4 OR ((triple2 ((((triple6) -> rule1)) -> rule2)) -> rule4) OR ((((triple6 triple5) -> rule5) ((((triple6) -> rule1)) -> rule2)) -> rule4))] Erin is smart.[(triple5)] Erin is young.[(triple6)] Fiona is kind.[(triple7)] Fiona is not nice.[(triple8)] Fiona is round.[(triple9)] Fiona is smart.[(triple10)] @1: Erin is rough.[(((triple6) -> rule1))] @2: Erin is not kind.[(((((triple6) -> rule1)) -> rule2))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Erin is nice.
("Erin" "is" "nice" "+")
triple2
((triple6 triple5) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Erin is round.
("Erin" "is" "round" "+")
triple4
((triple2 ((((triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not kind.
("Erin" "is" "kind" "-")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((triple6 triple5) -> (rule5 % int4)) ((((triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not kind.
("Erin" "is" "kind" "-")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
triple5
Erin is young.
("Erin" "is" "young" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Erin is rough.
("Erin" "is" "rough" "+")
((triple6) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is not kind.
("Erin" "is" "kind" "-")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2