Bob is round. Erin is big. Fiona is red. Harry is smart. If Fiona is red then Fiona is big. If something is big and red then it is round.
Bob is round.
("Bob" "is" "round" "+")
Erin is big.
("Erin" "is" "big" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If Fiona is red then Fiona is big.
((("Fiona" "is" "red" "+")) -> ("Fiona" "is" "big" "+"))
If something is big and red then it is round.
((("something" "is" "big" "+") ("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
Harry is smart.
True
1
proof
[(triple4)]
("Harry" "is" "smart" "+")
triple4
Harry is not smart.
False
1
inv-proof
[(triple4)]
("Harry" "is" "smart" "-")
triple4
Fiona is big.
True
2
proof
[(((triple3) -> rule1))]
("Fiona" "is" "big" "+")
((triple3) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not big.
False
2
inv-proof
[(((triple3) -> rule1))]
("Fiona" "is" "big" "-")
((triple3) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is round.
True
4
proof
[(((((triple3) -> rule1) triple3) -> rule2))]
("Fiona" "is" "round" "+")
((((triple3) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is not round.
False
4
inv-proof
[(((((triple3) -> rule1) triple3) -> rule2))]
("Fiona" "is" "round" "-")
((((triple3) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "round" "-")
Erin is round.
Unknown
rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "round" "+")
Erin is not smart.
Unknown
inv-random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Bob is round.[(triple1)] Erin is big.[(triple2)] Fiona is red.[(triple3)] Harry is smart.[(triple4)] @1: Fiona is big.[(((triple3) -> rule1))] @2: Fiona is round.[(((((triple3) -> rule1) triple3) -> rule2))]
Bob is round.
("Bob" "is" "round" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Harry is smart.
("Harry" "is" "smart" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
((triple3) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((((triple3) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2