Bob is round. Charlie is nice. Dave is furry. Fiona is cold. If something is cold and big then it is young. If something is cold then it is big. Young, cold things are furry.
Bob is round.
("Bob" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
If something is cold and big then it is young.
((("something" "is" "cold" "+") ("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
If something is cold then it is big.
((("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
Young, cold things are furry.
((("something" "is" "young" "+") ("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
Charlie is nice.
True
1
proof
[(triple2)]
("Charlie" "is" "nice" "+")
triple2
Bob is not round.
False
1
inv-proof
[(triple1)]
("Bob" "is" "round" "-")
triple1
Fiona is big.
True
2
proof
[(((triple4) -> rule2))]
("Fiona" "is" "big" "+")
((triple4) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not big.
False
2
inv-proof
[(((triple4) -> rule2))]
("Fiona" "is" "big" "-")
((triple4) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is young.
True
4
proof
[(((triple4 ((triple4) -> rule2)) -> rule1))]
("Fiona" "is" "young" "+")
((triple4 ((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is not young.
False
4
inv-proof
[(((triple4 ((triple4) -> rule2)) -> rule1))]
("Fiona" "is" "young" "-")
((triple4 ((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is furry.
True
6
proof
[(((((triple4 ((triple4) -> rule2)) -> rule1) triple4) -> rule3))]
("Fiona" "is" "furry" "+")
((((triple4 ((triple4) -> (rule2 % int3))) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is not furry.
False
6
inv-proof
[(((((triple4 ((triple4) -> rule2)) -> rule1) triple4) -> rule3))]
("Fiona" "is" "furry" "-")
((((triple4 ((triple4) -> (rule2 % int3))) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "+")
Bob is not furry.
Unknown
inv-rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "furry" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Bob is round.[(triple1)] Charlie is nice.[(triple2)] Dave is furry.[(triple3)] Fiona is cold.[(triple4)] @1: Fiona is big.[(((triple4) -> rule2))] @2: Fiona is young.[(((triple4 ((triple4) -> rule2)) -> rule1))] @3: Fiona is furry.[(((((triple4 ((triple4) -> rule2)) -> rule1) triple4) -> rule3))]
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
((triple4) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple4 ((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple4 ((triple4) -> (rule2 % int3))) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3