Bob is big. Bob is cold. Bob is nice. Bob is quiet. Fiona is not big. Fiona is not blue. Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is not smart. Gary is blue. Gary is nice. Gary is round. Harry is quiet. Harry is smart. If Fiona is nice then Fiona is not big. If Harry is round and Harry is blue then Harry is not quiet. If something is round and not nice then it is blue. If something is quiet then it is cold. If Harry is not quiet then Harry is cold. If something is smart and not blue then it is not big.
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If Fiona is nice then Fiona is not big.
((("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "big" "-"))
If Harry is round and Harry is blue then Harry is not quiet.
((("Harry" "is" "round" "+") ("Harry" "is" "blue" "+")) -> ("Harry" "is" "quiet" "-"))
If something is round and not nice then it is blue.
((("something" "is" "round" "+") ("something" "is" "nice" "~")) -> ("something" "is" "blue" "+"))
If something is quiet then it is cold.
((("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
If Harry is not quiet then Harry is cold.
((("Harry" "is" "quiet" "~")) -> ("Harry" "is" "cold" "+"))
If something is smart and not blue then it is not big.
((("something" "is" "smart" "+") ("something" "is" "blue" "~")) -> ("something" "is" "big" "-"))
Bob is cold.
True
1
proof
[(triple2 OR ((triple4) -> rule4))]
("Bob" "is" "cold" "+")
triple2
((triple4) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Fiona is not nice.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "nice" "-")
triple8
Harry is cold.
True
2
proof
[(((triple14) -> rule4))]
("Harry" "is" "cold" "+")
((triple14) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not cold.
False
2
inv-proof
[(((triple14) -> rule4))]
("Harry" "is" "cold" "-")
((triple14) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "blue" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "blue" "+")
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple4) -> rule4))] Bob is nice.[(triple3)] Bob is quiet.[(triple4)] Fiona is cold.[(triple7 OR ((triple9) -> rule4))] Fiona is nice.[(triple8)] Fiona is not big.[(triple5 OR ((triple8) -> rule1))] Fiona is not blue.[(triple6)] Fiona is not smart.[(triple10)] Fiona is quiet.[(triple9)] Gary is blue.[(triple11)] Gary is nice.[(triple12)] Gary is round.[(triple13)] Harry is quiet.[(triple14)] Harry is smart.[(triple15)] @1: Harry is cold.[(((triple14) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
((triple4) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
((triple9) -> (rule4 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is not big.
("Fiona" "is" "big" "-")
triple5
((triple8) -> (rule1 % int1))
Fiona is not big.
("Fiona" "is" "big" "-")
int1
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple6
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple12
Gary is round.
("Gary" "is" "round" "+")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15
Harry is cold.
("Harry" "is" "cold" "+")
((triple14) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1