Bob is cold. Bob is quiet. Bob is smart. Bob is white. Charlie is big. Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is round. Charlie is smart. Charlie is white. Dave is quiet. Dave is smart. Fiona is big. Fiona is furry. Furry, smart things are round. All furry things are white. Round, big things are smart.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Furry, smart things are round.
((("something" "is" "furry" "+") ("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
All furry things are white.
((("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
Round, big things are smart.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
Fiona is furry.
True
1
proof
[(triple15)]
("Fiona" "is" "furry" "+")
triple15
Bob is not cold.
False
1
inv-proof
[(triple1)]
("Bob" "is" "cold" "-")
triple1
Fiona is white.
True
2
proof
[(((triple15) -> rule2))]
("Fiona" "is" "white" "+")
((triple15) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple15) -> rule2))]
("Fiona" "is" "white" "-")
((triple15) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "round" "-")
Dave is white.
Unknown
rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "white" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Bob is cold.[(triple1)] Bob is quiet.[(triple2)] Bob is smart.[(triple3)] Bob is white.[(triple4)] Charlie is big.[(triple5)] Charlie is cold.[(triple6)] Charlie is furry.[(triple7)] Charlie is quiet.[(triple8)] Charlie is round.[(triple9 OR ((triple7 triple10) -> rule1))] Charlie is smart.[(triple10 OR ((triple9 triple5) -> rule3))] Charlie is white.[(triple11 OR ((triple7) -> rule2))] Dave is quiet.[(triple12)] Dave is smart.[(triple13)] Fiona is big.[(triple14)] Fiona is furry.[(triple15)] @1: Fiona is white.[(((triple15) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is furry.
("Charlie" "is" "furry" "+")
triple7
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple8
Charlie is round.
("Charlie" "is" "round" "+")
triple9
((triple7 triple10) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple10
((triple9 triple5) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
triple11
((triple7) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple12
Dave is smart.
("Dave" "is" "smart" "+")
triple13
Fiona is big.
("Fiona" "is" "big" "+")
triple14
Fiona is furry.
("Fiona" "is" "furry" "+")
triple15
Fiona is white.
("Fiona" "is" "white" "+")
((triple15) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1