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