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