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