Anne is cold. Anne is furry. Anne is red. Anne is round. Anne is young. Bob is cold. Bob is furry. Bob is round. Bob is smart. Charlie is furry. Charlie is smart. Charlie is young. Harry is furry. Harry is red. Harry is round. Harry is young. Smart people are big. All furry people are round. If someone is cold then they are round.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
Smart people are big.
((("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
All furry people are round.
((("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
If someone is cold then they are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
Anne is young.
True
1
proof
[(triple5)]
("Anne" "is" "young" "+")
triple5
Charlie is not young.
False
1
inv-proof
[(triple12)]
("Charlie" "is" "young" "-")
triple12
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is red.[(triple3)] Anne is round.[(triple4 OR ((triple1) -> rule3) OR ((triple2) -> rule2))] Anne is young.[(triple5)] Bob is cold.[(triple6)] Bob is furry.[(triple7)] Bob is round.[(triple8 OR ((triple6) -> rule3) OR ((triple7) -> rule2))] Bob is smart.[(triple9)] Charlie is furry.[(triple10)] Charlie is smart.[(triple11)] Charlie is young.[(triple12)] Harry is furry.[(triple13)] Harry is red.[(triple14)] Harry is round.[(triple15 OR ((triple13) -> rule2))] Harry is young.[(triple16)] @1: Bob is big.[(((triple9) -> rule1))] Charlie is big.[(((triple11) -> rule1))] Charlie is round.[(((triple10) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
((triple1) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((triple2) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple6
Bob is furry.
("Bob" "is" "furry" "+")
triple7
Bob is round.
("Bob" "is" "round" "+")
triple8
((triple6) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((triple7) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
triple9
Charlie is furry.
("Charlie" "is" "furry" "+")
triple10
Charlie is smart.
("Charlie" "is" "smart" "+")
triple11
Charlie is young.
("Charlie" "is" "young" "+")
triple12
Harry is furry.
("Harry" "is" "furry" "+")
triple13
Harry is red.
("Harry" "is" "red" "+")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15
((triple13) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
triple16
Bob is big.
("Bob" "is" "big" "+")
((triple9) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple11) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple10) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1