Bob is blue. Bob is cold. Bob is not kind. Bob is not smart. Erin is blue. Erin is cold. Erin is green. Erin is kind. Erin is round. Erin is smart. Erin is young. Fiona is blue. Fiona is kind. Fiona is round. Gary is cold. Gary is green. Round people are cold.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is not smart.
("Bob" "is" "smart" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Round people are cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Bob is cold.
True
1
proof
[(triple2)]
("Bob" "is" "cold" "+")
triple2
Gary is not cold.
False
1
inv-proof
[(triple15)]
("Gary" "is" "cold" "-")
triple15
Fiona is cold.
True
2
proof
[(((triple14) -> rule1))]
("Fiona" "is" "cold" "+")
((triple14) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple14) -> rule1))]
("Fiona" "is" "cold" "-")
((triple14) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is not kind.[(triple3)] Bob is not smart.[(triple4)] Erin is blue.[(triple5)] Erin is cold.[(triple6 OR ((triple9) -> rule1))] Erin is green.[(triple7)] Erin is kind.[(triple8)] Erin is round.[(triple9)] Erin is smart.[(triple10)] Erin is young.[(triple11)] Fiona is blue.[(triple12)] Fiona is kind.[(triple13)] Fiona is round.[(triple14)] Gary is cold.[(triple15)] Gary is green.[(triple16)] @1: Fiona is cold.[(((triple14) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is not kind.
("Bob" "is" "kind" "-")
triple3
Bob is not smart.
("Bob" "is" "smart" "-")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Erin is cold.
("Erin" "is" "cold" "+")
triple6
((triple9) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple7
Erin is kind.
("Erin" "is" "kind" "+")
triple8
Erin is round.
("Erin" "is" "round" "+")
triple9
Erin is smart.
("Erin" "is" "smart" "+")
triple10
Erin is young.
("Erin" "is" "young" "+")
triple11
Fiona is blue.
("Fiona" "is" "blue" "+")
triple12
Fiona is kind.
("Fiona" "is" "kind" "+")
triple13
Fiona is round.
("Fiona" "is" "round" "+")
triple14
Gary is cold.
("Gary" "is" "cold" "+")
triple15
Gary is green.
("Gary" "is" "green" "+")
triple16
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple14) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1