Fiona is blue. Fiona is red. Fiona is smart. Fiona is young. Gary is blue. Gary is furry. Gary is quiet. Gary is red. Gary is round. Gary is smart. If someone is blue then they are round. If someone is smart and blue then they are round.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If someone is blue then they are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is smart and blue then they are round.
((("someone" "is" "smart" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Fiona is blue.
True
1
proof
[(triple1)]
("Fiona" "is" "blue" "+")
triple1
Fiona is not blue.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "blue" "-")
triple1
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Fiona is blue.[(triple1)] Fiona is red.[(triple2)] Fiona is smart.[(triple3)] Fiona is young.[(triple4)] Gary is blue.[(triple5)] Gary is furry.[(triple6)] Gary is quiet.[(triple7)] Gary is red.[(triple8)] Gary is round.[(triple9 OR ((triple5) -> rule1) OR ((triple10 triple5) -> rule2))] Gary is smart.[(triple10)] @1: Fiona is round.[(((triple1) -> rule1) OR ((triple3 triple1) -> rule2))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is red.
("Fiona" "is" "red" "+")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3
Fiona is young.
("Fiona" "is" "young" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is furry.
("Gary" "is" "furry" "+")
triple6
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple9
((triple5) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple10 triple5) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
((triple1) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple3 triple1) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1