Bob is blue. Bob is cold. Bob is not green. Bob is kind. Bob is nice. Bob is quiet. Erin is not blue. Erin is not cold. Erin is green. Erin is nice. Erin is quiet. Fiona is kind. Fiona is nice. Harry is blue. Harry is kind. Harry is red. If someone is nice and not cold then they are red. If someone is cold and not red then they are blue.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is not green.
("Bob" "is" "green" "-")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is nice and not cold then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "red" "+"))
If someone is cold and not red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "blue" "+"))
Bob is not green.
True
1
proof
[(triple3)]
("Bob" "is" "green" "-")
triple3
Bob is not nice.
False
1
inv-proof
[(triple5)]
("Bob" "is" "nice" "-")
triple5
Erin is red.
True
3
proof
[(((triple10 triple8) -> rule1))]
("Erin" "is" "red" "+")
((triple10 triple8) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is not red.
False
3
inv-proof
[(((triple10 triple8) -> rule1))]
("Erin" "is" "red" "-")
((triple10 triple8) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "-")
Fiona is blue.
Unknown
rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "blue" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple4)] Bob is nice.[(triple5)] Bob is not green.[(triple3)] Bob is quiet.[(triple6)] Erin is green.[(triple9)] Erin is nice.[(triple10)] Erin is not blue.[(triple7)] Erin is not cold.[(triple8)] Erin is quiet.[(triple11)] Fiona is kind.[(triple12)] Fiona is nice.[(triple13)] Harry is blue.[(triple14)] Harry is kind.[(triple15)] Harry is red.[(triple16)] @1: Erin is red.[(((triple10 triple8) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Bob is not green.
("Bob" "is" "green" "-")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple9
Erin is nice.
("Erin" "is" "nice" "+")
triple10
Erin is not blue.
("Erin" "is" "blue" "-")
triple7
Erin is not cold.
("Erin" "is" "cold" "-")
triple8
Erin is quiet.
("Erin" "is" "quiet" "+")
triple11
Fiona is kind.
("Fiona" "is" "kind" "+")
triple12
Fiona is nice.
("Fiona" "is" "nice" "+")
triple13
Harry is blue.
("Harry" "is" "blue" "+")
triple14
Harry is kind.
("Harry" "is" "kind" "+")
triple15
Harry is red.
("Harry" "is" "red" "+")
triple16
Erin is red.
("Erin" "is" "red" "+")
((triple10 triple8) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1