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