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