Bob is cold. Bob is not smart. Bob is young. Erin is kind. Erin is not nice. Erin is young. Fiona is cold. Fiona is red. Fiona is smart. Fiona is white. Fiona is young. Gary is cold. Gary is red. Gary is white. Gary is not young. If Bob is young then Bob is red.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Bob is young.
("Bob" "is" "young" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is young.
("Erin" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is not young.
("Gary" "is" "young" "-")
If Bob is young then Bob is red.
((("Bob" "is" "young" "+")) -> ("Bob" "is" "red" "+"))
Fiona is young.
True
1
proof
[(triple11)]
("Fiona" "is" "young" "+")
triple11
Erin is not kind.
False
1
inv-proof
[(triple4)]
("Erin" "is" "kind" "-")
triple4
Bob is red.
True
2
proof
[(((triple3) -> rule1))]
("Bob" "is" "red" "+")
((triple3) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not red.
False
2
inv-proof
[(((triple3) -> rule1))]
("Bob" "is" "red" "-")
((triple3) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
Erin is not smart.
Unknown
inv-random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Bob is cold.[(triple1)] Bob is not smart.[(triple2)] Bob is young.[(triple3)] Erin is kind.[(triple4)] Erin is not nice.[(triple5)] Erin is young.[(triple6)] Fiona is cold.[(triple7)] Fiona is red.[(triple8)] Fiona is smart.[(triple9)] Fiona is white.[(triple10)] Fiona is young.[(triple11)] Gary is cold.[(triple12)] Gary is not young.[(triple15)] Gary is red.[(triple13)] Gary is white.[(triple14)] @1: Bob is red.[(((triple3) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is not smart.
("Bob" "is" "smart" "-")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
triple4
Erin is not nice.
("Erin" "is" "nice" "-")
triple5
Erin is young.
("Erin" "is" "young" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Fiona is smart.
("Fiona" "is" "smart" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Fiona is young.
("Fiona" "is" "young" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is not young.
("Gary" "is" "young" "-")
triple15
Gary is red.
("Gary" "is" "red" "+")
triple13
Gary is white.
("Gary" "is" "white" "+")
triple14
Bob is red.
("Bob" "is" "red" "+")
((triple3) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1