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