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