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