Dave is kind. Dave is not white. Fiona is big. Fiona is blue. Fiona is not cold. Fiona is white. Gary is quiet. Gary is not white. Gary is young. Harry is not big. Harry is kind. Harry is not white. All white things are kind. If something is big then it is not cold. Big things are blue. If something is quiet and not big then it is blue. If Dave is not cold then Dave is not kind. If something is blue and kind then it is not young.
Dave is kind.
("Dave" "is" "kind" "+")
Dave is not white.
("Dave" "is" "white" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not white.
("Gary" "is" "white" "-")
Gary is young.
("Gary" "is" "young" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not white.
("Harry" "is" "white" "-")
All white things are kind.
((("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
If something is big then it is not cold.
((("something" "is" "big" "+")) -> ("something" "is" "cold" "-"))
Big things are blue.
((("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
If something is quiet and not big then it is blue.
((("something" "is" "quiet" "+") ("something" "is" "big" "~")) -> ("something" "is" "blue" "+"))
If Dave is not cold then Dave is not kind.
((("Dave" "is" "cold" "~")) -> ("Dave" "is" "kind" "-"))
If something is blue and kind then it is not young.
((("something" "is" "blue" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "-"))
Dave is not white.
True
1
proof
[(triple2)]
("Dave" "is" "white" "-")
triple2
Harry is white.
False
1
inv-proof
[(triple12)]
("Harry" "is" "white" "+")
triple12
Fiona is kind.
True
2
proof
[(((triple6) -> rule1))]
("Fiona" "is" "kind" "+")
((triple6) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not kind.
False
2
inv-proof
[(((triple6) -> rule1))]
("Fiona" "is" "kind" "-")
((triple6) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "blue" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "+")
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Dave is kind.[(triple1)] Dave is not white.[(triple2)] Fiona is big.[(triple3)] Fiona is blue.[(triple4 OR ((triple3) -> rule3))] Fiona is not cold.[(triple5 OR ((triple3) -> rule2))] Fiona is white.[(triple6)] Gary is not white.[(triple8)] Gary is quiet.[(triple7)] Gary is young.[(triple9)] Harry is kind.[(triple11)] Harry is not big.[(triple10)] Harry is not white.[(triple12)] @1: Fiona is kind.[(((triple6) -> rule1))] @2: Fiona is not young.[(((triple4 ((triple6) -> rule1)) -> rule6) OR ((((triple3) -> rule3) ((triple6) -> rule1)) -> rule6))]
Dave is kind.
("Dave" "is" "kind" "+")
triple1
Dave is not white.
("Dave" "is" "white" "-")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
((triple3) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple5
((triple3) -> (rule2 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple6
Gary is not white.
("Gary" "is" "white" "-")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is not big.
("Harry" "is" "big" "-")
triple10
Harry is not white.
("Harry" "is" "white" "-")
triple12
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple6) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not young.
("Fiona" "is" "young" "-")
((triple4 ((triple6) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple3) -> (rule3 % int3)) ((triple6) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3