Anne is cold. Anne is quiet. Anne is smart. Bob is big. Bob is cold. Bob is furry. Bob is not quiet. Bob is young. Charlie is furry. Charlie is round. Erin is big. Erin is cold. Erin is furry. Erin is quiet. Erin is round. If something is young then it is round. Big things are smart. Quiet things are young.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not quiet.
("Bob" "is" "quiet" "-")
Bob is young.
("Bob" "is" "young" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
If something is young then it is round.
((("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
Big things are smart.
((("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
Quiet things are young.
((("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
Erin is cold.
True
1
proof
[(triple12)]
("Erin" "is" "cold" "+")
triple12
Erin is not quiet.
False
1
inv-proof
[(triple14)]
("Erin" "is" "quiet" "-")
triple14
Erin is young.
True
2
proof
[(((triple14) -> rule3))]
("Erin" "is" "young" "+")
((triple14) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not young.
False
2
inv-proof
[(((triple14) -> rule3))]
("Erin" "is" "young" "-")
((triple14) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Anne is round.
True
3
proof
[(((((triple2) -> rule3)) -> rule1))]
("Anne" "is" "round" "+")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is not round.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule1))]
("Anne" "is" "round" "-")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "young" "-")
Charlie is smart.
Unknown
rconc
[@1: Charlie is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "smart" "+")
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3)] Bob is big.[(triple4)] Bob is cold.[(triple5)] Bob is furry.[(triple6)] Bob is not quiet.[(triple7)] Bob is young.[(triple8)] Charlie is furry.[(triple9)] Charlie is round.[(triple10)] Erin is big.[(triple11)] Erin is cold.[(triple12)] Erin is furry.[(triple13)] Erin is quiet.[(triple14)] Erin is round.[(triple15 OR ((((triple14) -> rule3)) -> rule1))] @1: Anne is young.[(((triple2) -> rule3))] Bob is round.[(((triple8) -> rule1))] Bob is smart.[(((triple4) -> rule2))] Erin is smart.[(((triple11) -> rule2))] Erin is young.[(((triple14) -> rule3))] @2: Anne is round.[(((((triple2) -> rule3)) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is furry.
("Bob" "is" "furry" "+")
triple6
Bob is not quiet.
("Bob" "is" "quiet" "-")
triple7
Bob is young.
("Bob" "is" "young" "+")
triple8
Charlie is furry.
("Charlie" "is" "furry" "+")
triple9
Charlie is round.
("Charlie" "is" "round" "+")
triple10
Erin is big.
("Erin" "is" "big" "+")
triple11
Erin is cold.
("Erin" "is" "cold" "+")
triple12
Erin is furry.
("Erin" "is" "furry" "+")
triple13
Erin is quiet.
("Erin" "is" "quiet" "+")
triple14
Erin is round.
("Erin" "is" "round" "+")
triple15
((((triple14) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
((triple2) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple8) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
((triple4) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple11) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple14) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2