Anne is cold. Anne is green. Anne is nice. Anne is round. Anne is smart. Anne is white. Bob is cold. Bob is nice. Bob is quiet. Bob is smart. Bob is white. Fiona is green. Fiona is round. Fiona is white. Harry is green. Harry is round. White, cold people are round. All smart, round people are white. Cold, green people are smart.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is green.
("Fiona" "is" "green" "+")
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, cold people are round.
((("someone" "is" "white" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
All smart, round people are white.
((("someone" "is" "smart" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
Cold, green people are smart.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
Anne is white.
True
1
proof
[(triple6 OR ((triple5 triple4) -> rule2) OR ((((triple1 triple2) -> rule3) triple4) -> rule2))]
("Anne" "is" "white" "+")
triple6
((triple5 triple4) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((((triple1 triple2) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Bob is not white.
False
1
inv-proof
[(triple11)]
("Bob" "is" "white" "-")
triple11
Bob is round.
True
3
proof
[(((triple11 triple7) -> rule1))]
("Bob" "is" "round" "+")
((triple11 triple7) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is not round.
False
3
inv-proof
[(((triple11 triple7) -> rule1))]
("Bob" "is" "round" "-")
((triple11 triple7) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Fiona is not smart.
Unknown
inv-rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "smart" "-")
Harry is white.
Unknown
rconc
[@2: Harry is white.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Harry" "is" "white" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is round.[(triple4 OR ((triple6 triple1) -> rule1))] Anne is smart.[(triple5 OR ((triple1 triple2) -> rule3))] Anne is white.[(triple6 OR ((triple5 triple4) -> rule2) OR ((((triple1 triple2) -> rule3) triple4) -> rule2))] Bob is cold.[(triple7)] Bob is nice.[(triple8)] Bob is quiet.[(triple9)] Bob is smart.[(triple10)] Bob is white.[(triple11)] Fiona is green.[(triple12)] Fiona is round.[(triple13)] Fiona is white.[(triple14)] Harry is green.[(triple15)] Harry is round.[(triple16)] @1: Bob is round.[(((triple11 triple7) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
((triple6 triple1) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
triple5
((triple1 triple2) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
triple6
((triple5 triple4) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((((triple1 triple2) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
triple7
Bob is nice.
("Bob" "is" "nice" "+")
triple8
Bob is quiet.
("Bob" "is" "quiet" "+")
triple9
Bob is smart.
("Bob" "is" "smart" "+")
triple10
Bob is white.
("Bob" "is" "white" "+")
triple11
Fiona is green.
("Fiona" "is" "green" "+")
triple12
Fiona is round.
("Fiona" "is" "round" "+")
triple13
Fiona is white.
("Fiona" "is" "white" "+")
triple14
Harry is green.
("Harry" "is" "green" "+")
triple15
Harry is round.
("Harry" "is" "round" "+")
triple16
Bob is round.
("Bob" "is" "round" "+")
((triple11 triple7) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1