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