Bob is round. Bob is smart. Bob is white. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is smart. Charlie is white. Fiona is not blue. Fiona is cold. Fiona is nice. Fiona is round. Fiona is smart. Fiona is not white. If Bob is white and Bob is round then Bob is nice. All cold people are round. If Charlie is not round then Charlie is nice.
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
If Bob is white and Bob is round then Bob is nice.
((("Bob" "is" "white" "+") ("Bob" "is" "round" "+")) -> ("Bob" "is" "nice" "+"))
All cold people are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If Charlie is not round then Charlie is nice.
((("Charlie" "is" "round" "~")) -> ("Charlie" "is" "nice" "+"))
Bob is smart.
True
1
proof
[(triple2)]
("Bob" "is" "smart" "+")
triple2
Fiona is not nice.
False
1
inv-proof
[(triple12)]
("Fiona" "is" "nice" "-")
triple12
Bob is nice.
True
3
proof
[(((triple3 triple1) -> rule1))]
("Bob" "is" "nice" "+")
((triple3 triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not nice.
False
3
inv-proof
[(((triple3 triple1) -> rule1))]
("Bob" "is" "nice" "-")
((triple3 triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Bob is not furry.
Unknown
inv-random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is round.[(triple1)] Bob is smart.[(triple2)] Bob is white.[(triple3)] Charlie is blue.[(triple4)] Charlie is cold.[(triple5)] Charlie is furry.[(triple6)] Charlie is nice.[(triple7)] Charlie is smart.[(triple8)] Charlie is white.[(triple9)] Fiona is cold.[(triple11)] Fiona is nice.[(triple12)] Fiona is not blue.[(triple10)] Fiona is not white.[(triple15)] Fiona is round.[(triple13 OR ((triple11) -> rule2))] Fiona is smart.[(triple14)] @1: Bob is nice.[(((triple3 triple1) -> rule1))] Charlie is round.[(((triple5) -> rule2))]
Bob is round.
("Bob" "is" "round" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Bob is white.
("Bob" "is" "white" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is furry.
("Charlie" "is" "furry" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Charlie is smart.
("Charlie" "is" "smart" "+")
triple8
Charlie is white.
("Charlie" "is" "white" "+")
triple9
Fiona is cold.
("Fiona" "is" "cold" "+")
triple11
Fiona is nice.
("Fiona" "is" "nice" "+")
triple12
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple10
Fiona is not white.
("Fiona" "is" "white" "-")
triple15
Fiona is round.
("Fiona" "is" "round" "+")
triple13
((triple11) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple14
Bob is nice.
("Bob" "is" "nice" "+")
((triple3 triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple5) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1