Bob is furry. Bob is green. Bob is kind. Erin is big. Erin is furry. Erin is quiet. Fiona is blue. Fiona is green. Fiona is quiet. Harry is not big. Harry is furry. Harry is not green. Harry is kind. Harry is quiet. Harry is young. All quiet, furry people are kind. If Harry is young and Harry is not green then Harry is furry. If someone is quiet and green then they are young. All blue, big people are young. If someone is kind and not quiet then they are furry. If someone is green then they are furry. If someone is green and not big then they are not blue. If Fiona is green and Fiona is not kind then Fiona is young.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is young.
("Harry" "is" "young" "+")
All quiet, furry people are kind.
((("someone" "is" "quiet" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
If Harry is young and Harry is not green then Harry is furry.
((("Harry" "is" "young" "+") ("Harry" "is" "green" "~")) -> ("Harry" "is" "furry" "+"))
If someone is quiet and green then they are young.
((("someone" "is" "quiet" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
All blue, big people are young.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and not quiet then they are furry.
((("someone" "is" "kind" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "furry" "+"))
If someone is green then they are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If someone is green and not big then they are not blue.
((("someone" "is" "green" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "blue" "-"))
If Fiona is green and Fiona is not kind then Fiona is young.
((("Fiona" "is" "green" "+") ("Fiona" "is" "kind" "~")) -> ("Fiona" "is" "young" "+"))
Erin is quiet.
True
1
proof
[(triple6)]
("Erin" "is" "quiet" "+")
triple6
Harry is green.
False
1
inv-proof
[(triple12)]
("Harry" "is" "green" "+")
triple12
Erin is kind.
True
3
proof
[(((triple6 triple5) -> rule1))]
("Erin" "is" "kind" "+")
((triple6 triple5) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple8) -> rule6))]
("Fiona" "is" "furry" "-")
((triple8) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
True
4
proof
[(((triple9 ((triple8) -> rule6)) -> rule1))]
("Fiona" "is" "kind" "+")
((triple9 ((triple8) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not kind.
False
4
inv-proof
[(((triple9 ((triple8) -> rule6)) -> rule1))]
("Fiona" "is" "kind" "-")
((triple9 ((triple8) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "young" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "young" "+")
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is furry.[(triple1 OR ((triple2) -> rule6))] Bob is green.[(triple2)] Bob is kind.[(triple3)] Erin is big.[(triple4)] Erin is furry.[(triple5)] Erin is quiet.[(triple6)] Fiona is blue.[(triple7)] Fiona is green.[(triple8)] Fiona is quiet.[(triple9)] Harry is furry.[(triple11 OR ((triple15 triple12) -> rule2))] Harry is kind.[(triple13 OR ((triple14 triple11) -> rule1) OR ((triple14 ((triple15 triple12) -> rule2)) -> rule1))] Harry is not big.[(triple10)] Harry is not green.[(triple12)] Harry is quiet.[(triple14)] Harry is young.[(triple15)] @1: Erin is kind.[(((triple6 triple5) -> rule1))] Fiona is furry.[(((triple8) -> rule6))] Fiona is young.[(((triple9 triple8) -> rule3))] @2: Fiona is kind.[(((triple9 ((triple8) -> rule6)) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
((triple2) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
triple5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
triple8
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Harry is furry.
("Harry" "is" "furry" "+")
triple11
((triple15 triple12) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple13
((triple14 triple11) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple14 ((triple15 triple12) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is not big.
("Harry" "is" "big" "-")
triple10
Harry is not green.
("Harry" "is" "green" "-")
triple12
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15
Erin is kind.
("Erin" "is" "kind" "+")
((triple6 triple5) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple8) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple9 triple8) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple9 ((triple8) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2