Anne is red. Anne is smart. Anne is not young. Bob is not cold. Bob is smart. Bob is young. Dave is cold. Dave is nice. Dave is round. Harry is nice. Harry is smart. Harry is young. Red people are round. All smart people are round. Cold, young people are smart.
Anne is red.
("Anne" "is" "red" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is not young.
("Anne" "is" "young" "-")
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is round.
("Dave" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
Red people are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
All smart people are round.
((("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
Cold, young people are smart.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
Anne is red.
True
1
proof
[(triple1)]
("Anne" "is" "red" "+")
triple1
Anne is not red.
False
1
inv-proof
[(triple1)]
("Anne" "is" "red" "-")
triple1
Harry is round.
True
2
proof
[(((triple11) -> rule2))]
("Harry" "is" "round" "+")
((triple11) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is not round.
False
2
inv-proof
[(((triple11) -> rule2))]
("Harry" "is" "round" "-")
((triple11) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Dave is not smart.
Unknown
inv-rconc
[@1: Dave is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "smart" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Anne is not young.[(triple3)] Anne is red.[(triple1)] Anne is smart.[(triple2)] Bob is not cold.[(triple4)] Bob is smart.[(triple5)] Bob is young.[(triple6)] Dave is cold.[(triple7)] Dave is nice.[(triple8)] Dave is round.[(triple9)] Harry is nice.[(triple10)] Harry is smart.[(triple11)] Harry is young.[(triple12)] @1: Anne is round.[(((triple1) -> rule1) OR ((triple2) -> rule2))] Bob is round.[(((triple5) -> rule2))] Harry is round.[(((triple11) -> rule2))]
Anne is not young.
("Anne" "is" "young" "-")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Bob is not cold.
("Bob" "is" "cold" "-")
triple4
Bob is smart.
("Bob" "is" "smart" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is smart.
("Harry" "is" "smart" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Anne is round.
("Anne" "is" "round" "+")
((triple1) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((triple2) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple5) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple11) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1