Dave is blue. Dave is white. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is nice. Gary is red. Gary is white. Harry is cold. Harry is green. Harry is kind. Harry is red. Cold, kind things are red. If Harry is white and Harry is red then Harry is nice.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
Cold, kind things are red.
((("something" "is" "cold" "+") ("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
If Harry is white and Harry is red then Harry is nice.
((("Harry" "is" "white" "+") ("Harry" "is" "red" "+")) -> ("Harry" "is" "nice" "+"))
Fiona is blue.
True
1
proof
[(triple3)]
("Fiona" "is" "blue" "+")
triple3
Gary is not red.
False
1
inv-proof
[(triple7)]
("Gary" "is" "red" "-")
triple7
Fiona is red.
True
3
proof
[(((triple4 triple5) -> rule1))]
("Fiona" "is" "red" "+")
((triple4 triple5) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not red.
False
3
inv-proof
[(((triple4 triple5) -> rule1))]
("Fiona" "is" "red" "-")
((triple4 triple5) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "nice" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "red" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Dave is blue.[(triple1)] Dave is white.[(triple2)] Fiona is blue.[(triple3)] Fiona is cold.[(triple4)] Fiona is kind.[(triple5)] Fiona is nice.[(triple6)] Gary is red.[(triple7)] Gary is white.[(triple8)] Harry is cold.[(triple9)] Harry is green.[(triple10)] Harry is kind.[(triple11)] Harry is red.[(triple12 OR ((triple9 triple11) -> rule1))] @1: Fiona is red.[(((triple4 triple5) -> rule1))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is white.
("Dave" "is" "white" "+")
triple2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is white.
("Gary" "is" "white" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple12
((triple9 triple11) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple4 triple5) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1