Erin is cold. Erin is red. Erin is white. Fiona is big. Gary is big. Gary is cold. Gary is round. Gary is white. Harry is big. Harry is round. All smart, rough people are white. Big people are cold. All rough, smart people are cold.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
All smart, rough people are white.
((("someone" "is" "smart" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
Big people are cold.
((("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
All rough, smart people are cold.
((("someone" "is" "rough" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
Harry is big.
True
1
proof
[(triple9)]
("Harry" "is" "big" "+")
triple9
Erin is not cold.
False
1
inv-proof
[(triple1)]
("Erin" "is" "cold" "-")
triple1
Fiona is cold.
True
2
proof
[(((triple4) -> rule2))]
("Fiona" "is" "cold" "+")
((triple4) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple4) -> rule2))]
("Fiona" "is" "cold" "-")
((triple4) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Harry is not white.
Unknown
inv-rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "white" "-")
Fiona is white.
Unknown
rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "white" "+")
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Erin is cold.[(triple1)] Erin is red.[(triple2)] Erin is white.[(triple3)] Fiona is big.[(triple4)] Gary is big.[(triple5)] Gary is cold.[(triple6 OR ((triple5) -> rule2))] Gary is round.[(triple7)] Gary is white.[(triple8)] Harry is big.[(triple9)] Harry is round.[(triple10)] @1: Fiona is cold.[(((triple4) -> rule2))] Harry is cold.[(((triple9) -> rule2))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is red.
("Erin" "is" "red" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
((triple5) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple7
Gary is white.
("Gary" "is" "white" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple10
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple4) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple9) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1