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