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