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