Bob is not furry. Bob is rough. Bob is young. Erin is big. Erin is blue. Erin is furry. Erin is kind. Erin is smart. Erin is young. Harry is big. Harry is not blue. Harry is furry. Harry is kind. Harry is smart. Harry is young. If something is young and not furry then it is smart. Big, furry things are rough.
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is young and not furry then it is smart.
((("something" "is" "young" "+") ("something" "is" "furry" "~")) -> ("something" "is" "smart" "+"))
Big, furry things are rough.
((("something" "is" "big" "+") ("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
Erin is smart.
True
1
proof
[(triple8)]
("Erin" "is" "smart" "+")
triple8
Erin is not young.
False
1
inv-proof
[(triple9)]
("Erin" "is" "young" "-")
triple9
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is not furry.[(triple1)] Bob is rough.[(triple2)] Bob is young.[(triple3)] Erin is big.[(triple4)] Erin is blue.[(triple5)] Erin is furry.[(triple6)] Erin is kind.[(triple7)] Erin is smart.[(triple8)] Erin is young.[(triple9)] Harry is big.[(triple10)] Harry is furry.[(triple12)] Harry is kind.[(triple13)] Harry is not blue.[(triple11)] Harry is smart.[(triple14)] Harry is young.[(triple15)] @1: Bob is smart.[(((triple3 triple1) -> rule1))] Erin is rough.[(((triple4 triple6) -> rule2))] Harry is rough.[(((triple10 triple12) -> rule2))]
Bob is not furry.
("Bob" "is" "furry" "-")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is kind.
("Erin" "is" "kind" "+")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple8
Erin is young.
("Erin" "is" "young" "+")
triple9
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple13
Harry is not blue.
("Harry" "is" "blue" "-")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15
Bob is smart.
("Bob" "is" "smart" "+")
((triple3 triple1) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple4 triple6) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple10 triple12) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1