Anne is blue. Anne is cold. Anne is green. Anne is round. Bob is cold. Dave is cold. Dave is nice. Dave is round. Harry is green. Harry is young. Blue people are round. If someone is blue and round then they are nice.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is round.
("Dave" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Blue people are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and round then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Bob is cold.
True
1
proof
[(triple5)]
("Bob" "is" "cold" "+")
triple5
Harry is not young.
False
1
inv-proof
[(triple10)]
("Harry" "is" "young" "-")
triple10
Anne is nice.
True
3
proof
[(((triple1 triple4) -> rule2) OR ((triple1 ((triple1) -> rule1)) -> rule2))]
("Anne" "is" "nice" "+")
((triple1 triple4) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple1 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is not nice.
False
3
inv-proof
[(((triple1 triple4) -> rule2) OR ((triple1 ((triple1) -> rule1)) -> rule2))]
("Anne" "is" "nice" "-")
((triple1 triple4) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple1 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "round" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "nice" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is round.[(triple4 OR ((triple1) -> rule1))] Bob is cold.[(triple5)] Dave is cold.[(triple6)] Dave is nice.[(triple7)] Dave is round.[(triple8)] Harry is green.[(triple9)] Harry is young.[(triple10)] @1: Anne is nice.[(((triple1 triple4) -> rule2) OR ((triple1 ((triple1) -> rule1)) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
((triple1) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Anne is nice.
("Anne" "is" "nice" "+")
((triple1 triple4) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple1 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2