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