Anne is quiet. Anne is round. Anne is white. Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is white. Harry is green. Harry is round. White things are big. If something is big then it is round.
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
White things are big.
((("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
If something is big then it is round.
((("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
Fiona is round.
True
1
proof
[(triple7 OR ((((triple8) -> rule1)) -> rule2))]
("Fiona" "is" "round" "+")
triple7
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is not white.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "white" "-")
triple8
Fiona is big.
True
2
proof
[(((triple8) -> rule1))]
("Fiona" "is" "big" "+")
((triple8) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Anne is not big.
False
2
inv-proof
[(((triple3) -> rule1))]
("Anne" "is" "big" "-")
((triple3) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Anne is quiet.[(triple1)] Anne is round.[(triple2 OR ((((triple3) -> rule1)) -> rule2))] Anne is white.[(triple3)] Fiona is cold.[(triple4)] Fiona is nice.[(triple5)] Fiona is quiet.[(triple6)] Fiona is round.[(triple7 OR ((((triple8) -> rule1)) -> rule2))] Fiona is white.[(triple8)] Harry is green.[(triple9)] Harry is round.[(triple10)] @1: Anne is big.[(((triple3) -> rule1))] Fiona is big.[(((triple8) -> rule1))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple10
Anne is big.
("Anne" "is" "big" "+")
((triple3) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple8) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1