Charlie is cold. Erin is furry. Erin is green. Erin is rough. Fiona is blue. Fiona is rough. Fiona is smart. Fiona is white. Gary is blue. Gary is cold. Gary is furry. Gary is rough. If someone is cold and blue then they are furry. All white people are smart. All white people are furry.
Charlie is cold.
("Charlie" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If someone is cold and blue then they are furry.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
All white people are smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
All white people are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
Fiona is blue.
True
1
proof
[(triple5)]
("Fiona" "is" "blue" "+")
triple5
Gary is not cold.
False
1
inv-proof
[(triple10)]
("Gary" "is" "cold" "-")
triple10
Fiona is furry.
True
2
proof
[(((triple8) -> rule3))]
("Fiona" "is" "furry" "+")
((triple8) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple8) -> rule3))]
("Fiona" "is" "furry" "-")
((triple8) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Gary is not smart.
Unknown
inv-rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "smart" "-")
Erin is smart.
Unknown
rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "smart" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Charlie is cold.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3)] Erin is rough.[(triple4)] Fiona is blue.[(triple5)] Fiona is rough.[(triple6)] Fiona is smart.[(triple7 OR ((triple8) -> rule2))] Fiona is white.[(triple8)] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is furry.[(triple11 OR ((triple10 triple9) -> rule1))] Gary is rough.[(triple12)] @1: Fiona is furry.[(((triple8) -> rule3))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is green.
("Erin" "is" "green" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
((triple8) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is furry.
("Gary" "is" "furry" "+")
triple11
((triple10 triple9) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple12
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple8) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1